A B C D E F G H I M N P R S T V

A

AbstractList - Class in nl.cwi.sen1.moduleapi

AbstractList(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.AbstractList

AbstractType - Class in nl.cwi.sen1.moduleapi

AbstractType(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.AbstractType

abstractTypeFactory - Variable in class nl.cwi.sen1.moduleapi.AbstractList

abstractTypeFactory - Variable in class nl.cwi.sen1.moduleapi.AbstractType

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.AbstractList

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.AbstractType

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

accept(Visitor) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

any - Variable in class nl.cwi.sen1.moduleapi.Fwd

any - Variable in class nl.cwi.sen1.moduleapi.FwdVoid

append(ModuleList, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

append(AttributeStore, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

append(TableEntryTable, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

append(DependencyList, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

append(ModuleIdList, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

append(ModuleAttributeList, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

append(Attribute) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

append(Dependency) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

append(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

append(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

append(Module) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

append(TableEntry) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

append(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

Attribute - Class in nl.cwi.sen1.moduleapi.types

Attribute(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.Attribute

Attribute - Class in nl.cwi.sen1.moduleapi.types.attribute

Attribute(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.attribute.Attribute

Attribute_AttributeFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeMap - Class in nl.cwi.sen1.moduleapi.types

AttributeMap(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.AttributeMap

AttributeMap - Class in nl.cwi.sen1.moduleapi.types.attributemap

AttributeMap(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

AttributeMap_AttributeMapFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeMapFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeMapFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeMapFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeStore - Class in nl.cwi.sen1.moduleapi.types

AttributeStore(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.AttributeStore

AttributeStoreFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeStoreFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

AttributeStoreFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

B

byteToChar(char) - Method in class nl.cwi.sen1.moduleapi.Factory

C

charsToString(ATerm) - Static method in class nl.cwi.sen1.moduleapi.Factory

charToByte(ATerm) - Static method in class nl.cwi.sen1.moduleapi.Factory

concat(ModuleList, ModuleList) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(AttributeStore, AttributeStore) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(TableEntryTable, TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(DependencyList, DependencyList) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(ModuleIdList, ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(ModuleAttributeList, ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.Factory

concat(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

concat(DependencyList) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

concat(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

concat(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

concat(ModuleList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

concat(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

concat(ATermList) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

D

Default - Class in nl.cwi.sen1.moduleapi.types.modules

Default(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.modules.Default

Dependencies - Class in nl.cwi.sen1.moduleapi.types

Dependencies(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.Dependencies

Dependencies - Class in nl.cwi.sen1.moduleapi.types.dependencies

Dependencies(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

Dependencies_DependenciesFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

DependenciesFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

DependenciesFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

DependenciesFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

Dependency - Class in nl.cwi.sen1.moduleapi.types

Dependency(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.Dependency

Dependency - Class in nl.cwi.sen1.moduleapi.types.dependency

Dependency(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.dependency.Dependency

Dependency_DependencyFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyList - Class in nl.cwi.sen1.moduleapi.types

DependencyList(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.DependencyList

DependencyListFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyListFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

DependencyListFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

duplicate() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

E

empty_AttributeStore - Variable in class nl.cwi.sen1.moduleapi.Factory

empty_DependencyList - Variable in class nl.cwi.sen1.moduleapi.Factory

empty_ModuleAttributeList - Variable in class nl.cwi.sen1.moduleapi.Factory

empty_ModuleIdList - Variable in class nl.cwi.sen1.moduleapi.Factory

empty_ModuleList - Variable in class nl.cwi.sen1.moduleapi.Factory

empty_TableEntryTable - Variable in class nl.cwi.sen1.moduleapi.Factory

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

equivalent(SharedObject) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

F

Factory - Class in nl.cwi.sen1.moduleapi

Factory(PureFactory) - Constructor for class nl.cwi.sen1.moduleapi.Factory

factory - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_Attribute_Attribute - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_AttributeMap_AttributeMap - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_Dependencies_Dependencies - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_Dependency_Dependency - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_Module_Module - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_ModuleAttribute_ModuleAttribute - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_ModuleId_ModuleId - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_Modules_Default - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_NatCon_NatCon - Variable in class nl.cwi.sen1.moduleapi.Factory

fun_TableEntry_TableEntry - Variable in class nl.cwi.sen1.moduleapi.Factory

Fwd - Class in nl.cwi.sen1.moduleapi

Fwd(Visitor) - Constructor for class nl.cwi.sen1.moduleapi.Fwd

FwdVoid - Class in nl.cwi.sen1.moduleapi

FwdVoid(Visitor) - Constructor for class nl.cwi.sen1.moduleapi.FwdVoid

G

getAttribute() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

getAttribute() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

getAttributeAt(int) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

getChildAt(int) - Method in class nl.cwi.sen1.moduleapi.VisitableFwd

getChildCount() - Method in class nl.cwi.sen1.moduleapi.VisitableFwd

getDependencyAt(int) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

getEmpty() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

getFrom() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

getFrom() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

getHead() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

getHead() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

getHead() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

getHead() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

getHead() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

getHead() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

getId() - Method in class nl.cwi.sen1.moduleapi.types.Module

getId() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

getId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

getId() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

getId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

getId() - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

getInstance(PureFactory) - Static method in class nl.cwi.sen1.moduleapi.Factory

getKey() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

getKey() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

getList() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

getList() - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

getList() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

getList() - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

getList() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

getList() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

getList() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

getList() - Method in class nl.cwi.sen1.moduleapi.types.Modules

getModuleapiFactory() - Method in class nl.cwi.sen1.moduleapi.AbstractList

getModuleapiFactory() - Method in class nl.cwi.sen1.moduleapi.AbstractType

getModuleAt(int) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

getModuleAttributeAt(int) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

getModuleIdAt(int) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

getNamespace() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

getNamespace() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

getPureFactory() - Method in class nl.cwi.sen1.moduleapi.Factory

getStore() - Method in class nl.cwi.sen1.moduleapi.types.Module

getStore() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

getString() - Method in class nl.cwi.sen1.moduleapi.types.NatCon

getString() - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

getTable() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

getTable() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

getTableEntryAt(int) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

getTail() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

getTail() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

getTail() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

getTail() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

getTail() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

getTail() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

getValue() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

getValue() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

H

hasAttribute() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

hasAttribute() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

hasFrom() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

hasFrom() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

hasHead() - Method in class nl.cwi.sen1.moduleapi.AbstractList

hashFunction() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

hashFunction() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

hashFunction() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

hashFunction() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

hashFunction() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

hasId() - Method in class nl.cwi.sen1.moduleapi.types.Module

hasId() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

hasId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

hasId() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

hasId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

hasId() - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

hasKey() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

hasKey() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

hasList() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

hasList() - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

hasList() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

hasList() - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

hasList() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

hasList() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

hasList() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

hasList() - Method in class nl.cwi.sen1.moduleapi.types.Modules

hasNamespace() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

hasNamespace() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

hasStore() - Method in class nl.cwi.sen1.moduleapi.types.Module

hasStore() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

hasString() - Method in class nl.cwi.sen1.moduleapi.types.NatCon

hasString() - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

hasTable() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

hasTable() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

hasTail() - Method in class nl.cwi.sen1.moduleapi.AbstractList

hasValue() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

hasValue() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

I

index_attribute - Static variable in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

index_from - Static variable in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

index_id - Static variable in class nl.cwi.sen1.moduleapi.types.module.Module

index_id - Static variable in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

index_id - Static variable in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

index_key - Static variable in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

index_list - Static variable in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

index_list - Static variable in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

index_list - Static variable in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

index_list - Static variable in class nl.cwi.sen1.moduleapi.types.modules.Default

index_namespace - Static variable in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

index_store - Static variable in class nl.cwi.sen1.moduleapi.types.module.Module

index_string - Static variable in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

index_table - Static variable in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

index_value - Static variable in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

initialize() - Method in class nl.cwi.sen1.moduleapi.Factory

insert(Attribute) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

insert(Dependency) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

insert(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

insert(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

insert(Module) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

insert(TableEntry) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

insert(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

instance - Static variable in class nl.cwi.sen1.moduleapi.Factory

isAttribute() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

isAttribute() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

isAttributeMap() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

isAttributeMap() - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

isDefault() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

isDefault() - Method in class nl.cwi.sen1.moduleapi.types.Modules

isDependencies() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

isDependencies() - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

isDependency() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

isDependency() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

isEmpty() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isEqual(Attribute) - Method in class nl.cwi.sen1.moduleapi.types.Attribute

isEqual(AttributeMap) - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

isEqual(Dependencies) - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

isEqual(Dependency) - Method in class nl.cwi.sen1.moduleapi.types.Dependency

isEqual(Module) - Method in class nl.cwi.sen1.moduleapi.types.Module

isEqual(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

isEqual(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

isEqual(Modules) - Method in class nl.cwi.sen1.moduleapi.types.Modules

isEqual(NatCon) - Method in class nl.cwi.sen1.moduleapi.types.NatCon

isEqual(TableEntry) - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

isMany() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isModule() - Method in class nl.cwi.sen1.moduleapi.types.Module

isModule() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

isModuleAttribute() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

isModuleAttribute() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

isModuleId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

isModuleId() - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

isNatCon() - Method in class nl.cwi.sen1.moduleapi.types.NatCon

isNatCon() - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

isSingle() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortAttribute() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortAttribute() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortAttribute() - Method in class nl.cwi.sen1.moduleapi.types.Attribute

isSortAttributeMap() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortAttributeMap() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortAttributeMap() - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

isSortAttributeStore() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortAttributeStore() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortAttributeStore() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

isSortDependencies() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortDependencies() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortDependencies() - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

isSortDependency() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortDependency() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortDependency() - Method in class nl.cwi.sen1.moduleapi.types.Dependency

isSortDependencyList() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortDependencyList() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortDependencyList() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

isSortModule() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModule() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModule() - Method in class nl.cwi.sen1.moduleapi.types.Module

isSortModuleAttribute() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModuleAttribute() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModuleAttribute() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

isSortModuleAttributeList() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModuleAttributeList() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModuleAttributeList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

isSortModuleId() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModuleId() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModuleId() - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

isSortModuleIdList() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModuleIdList() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModuleIdList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

isSortModuleList() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModuleList() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModuleList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

isSortModules() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortModules() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortModules() - Method in class nl.cwi.sen1.moduleapi.types.Modules

isSortNatCon() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortNatCon() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortNatCon() - Method in class nl.cwi.sen1.moduleapi.types.NatCon

isSortTableEntry() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortTableEntry() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortTableEntry() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

isSortTableEntryTable() - Method in class nl.cwi.sen1.moduleapi.AbstractList

isSortTableEntryTable() - Method in class nl.cwi.sen1.moduleapi.AbstractType

isSortTableEntryTable() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

isTableEntry() - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

isTableEntry() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

M

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

make(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

make(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

make(ATerm, ATermList) - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

makeAttribute_Attribute(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttribute_Attribute(ATerm, TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeMap_AttributeMap(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeMap_AttributeMap(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore() - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, AttributeStore) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, Attribute, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, Attribute, Attribute, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, Attribute, Attribute, Attribute, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeAttributeStore(Attribute, Attribute, Attribute, Attribute, Attribute, Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencies_Dependencies(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencies_Dependencies(DependencyList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependency_Dependency(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependency_Dependency(ModuleId, ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList() - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, DependencyList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, Dependency, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, Dependency, Dependency, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, Dependency, Dependency, Dependency, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeDependencyList(Dependency, Dependency, Dependency, Dependency, Dependency, Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModule_Module(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModule_Module(ModuleId, AttributeStore) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttribute_ModuleAttribute(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttribute_ModuleAttribute(ModuleId, ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList() - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttribute, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleAttributeList(ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute, ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleId_ModuleId(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleId_ModuleId(int) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList() - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleId, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleId, ModuleId, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleId, ModuleId, ModuleId, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleIdList(ModuleId, ModuleId, ModuleId, ModuleId, ModuleId, ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList() - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, ModuleList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, Module, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, Module, Module, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, Module, Module, Module, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModuleList(Module, Module, Module, Module, Module, Module) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModules_Default(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeModules_Default(ModuleList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeNatCon_NatCon(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeNatCon_NatCon(String) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntry_TableEntry(AFun, ATerm[], ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntry_TableEntry(ATerm, ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable() - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(ATerm, ATermList, ATermList) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntry, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntry, TableEntry, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntry, TableEntry, TableEntry, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

makeTableEntryTable(TableEntry, TableEntry, TableEntry, TableEntry, TableEntry, TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

Module - Class in nl.cwi.sen1.moduleapi.types

Module(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.Module

Module - Class in nl.cwi.sen1.moduleapi.types.module

Module(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.module.Module

Module_ModuleFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttribute - Class in nl.cwi.sen1.moduleapi.types

ModuleAttribute(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.ModuleAttribute

ModuleAttribute - Class in nl.cwi.sen1.moduleapi.types.moduleattribute

ModuleAttribute(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

ModuleAttribute_ModuleAttributeFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeList - Class in nl.cwi.sen1.moduleapi.types

ModuleAttributeList(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

ModuleAttributeListFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeListFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleAttributeListFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleId - Class in nl.cwi.sen1.moduleapi.types

ModuleId(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.ModuleId

ModuleId - Class in nl.cwi.sen1.moduleapi.types.moduleid

ModuleId(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

ModuleId_ModuleIdFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdList - Class in nl.cwi.sen1.moduleapi.types

ModuleIdList(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.ModuleIdList

ModuleIdListFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdListFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleIdListFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleList - Class in nl.cwi.sen1.moduleapi.types

ModuleList(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.ModuleList

ModuleListFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleListFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModuleListFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

Modules - Class in nl.cwi.sen1.moduleapi.types

Modules(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.Modules

Modules_DefaultFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

ModulesFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

ModulesFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

ModulesFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

N

NatCon - Class in nl.cwi.sen1.moduleapi.types

NatCon(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.NatCon

NatCon - Class in nl.cwi.sen1.moduleapi.types.natcon

NatCon(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.natcon.NatCon

NatCon_NatConFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

NatConFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

NatConFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

NatConFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

nl.cwi.sen1.moduleapi - package nl.cwi.sen1.moduleapi

nl.cwi.sen1.moduleapi.types - package nl.cwi.sen1.moduleapi.types

nl.cwi.sen1.moduleapi.types.attribute - package nl.cwi.sen1.moduleapi.types.attribute

nl.cwi.sen1.moduleapi.types.attributemap - package nl.cwi.sen1.moduleapi.types.attributemap

nl.cwi.sen1.moduleapi.types.dependencies - package nl.cwi.sen1.moduleapi.types.dependencies

nl.cwi.sen1.moduleapi.types.dependency - package nl.cwi.sen1.moduleapi.types.dependency

nl.cwi.sen1.moduleapi.types.module - package nl.cwi.sen1.moduleapi.types.module

nl.cwi.sen1.moduleapi.types.moduleattribute - package nl.cwi.sen1.moduleapi.types.moduleattribute

nl.cwi.sen1.moduleapi.types.moduleid - package nl.cwi.sen1.moduleapi.types.moduleid

nl.cwi.sen1.moduleapi.types.modules - package nl.cwi.sen1.moduleapi.types.modules

nl.cwi.sen1.moduleapi.types.natcon - package nl.cwi.sen1.moduleapi.types.natcon

nl.cwi.sen1.moduleapi.types.tableentry - package nl.cwi.sen1.moduleapi.types.tableentry

P

pattern_Attribute_Attribute - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_AttributeMap_AttributeMap - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_Dependencies_Dependencies - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_Dependency_Dependency - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_Module_Module - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_ModuleAttribute_ModuleAttribute - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_ModuleId_ModuleId - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_Modules_Default - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_NatCon_NatCon - Variable in class nl.cwi.sen1.moduleapi.Factory

pattern_TableEntry_TableEntry - Variable in class nl.cwi.sen1.moduleapi.Factory

R

reverse(ModuleList) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse(DependencyList) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.Factory

reverse() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

reverse() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

reverse() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

reverse() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

reverse() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

reverse() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

reverseAttributeStore() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

reverseDependencyList() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

reverseModuleAttributeList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

reverseModuleIdList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

reverseModuleList() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

reverseTableEntryTable() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

S

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

setArgument(ATerm, int) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

setAttribute(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

setAttribute(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

setChildAt(int, Visitable) - Method in class nl.cwi.sen1.moduleapi.VisitableFwd

setFrom(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

setFrom(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.Dependency

setId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

setId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.Module

setId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

setId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttribute

setId(int) - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

setId(int) - Method in class nl.cwi.sen1.moduleapi.types.ModuleId

setKey(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

setKey(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

setList(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

setList(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.types.AttributeMap

setList(DependencyList) - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

setList(DependencyList) - Method in class nl.cwi.sen1.moduleapi.types.Dependencies

setList(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

setList(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.types.Dependency

setList(ModuleList) - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

setList(ModuleList) - Method in class nl.cwi.sen1.moduleapi.types.Modules

setNamespace(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

setNamespace(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.Attribute

setStore(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.types.module.Module

setStore(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.types.Module

setString(String) - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

setString(String) - Method in class nl.cwi.sen1.moduleapi.types.NatCon

setTable(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

setTable(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.types.Attribute

setTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.AbstractType

setValue(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.TableEntry

setValue(ATerm) - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

stringToChars(String) - Method in class nl.cwi.sen1.moduleapi.Factory

T

TableEntry - Class in nl.cwi.sen1.moduleapi.types

TableEntry(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.TableEntry

TableEntry - Class in nl.cwi.sen1.moduleapi.types.tableentry

TableEntry(Factory, ATermList, AFun, ATerm[]) - Constructor for class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

TableEntry_TableEntryFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryTable - Class in nl.cwi.sen1.moduleapi.types

TableEntryTable(Factory, ATermList, ATerm, ATermList) - Constructor for class nl.cwi.sen1.moduleapi.types.TableEntryTable

TableEntryTableFromFile(InputStream) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryTableFromString(String) - Method in class nl.cwi.sen1.moduleapi.Factory

TableEntryTableFromTerm(ATerm) - Method in class nl.cwi.sen1.moduleapi.Factory

term - Variable in class nl.cwi.sen1.moduleapi.AbstractType

term - Variable in class nl.cwi.sen1.moduleapi.types.AttributeStore

term - Variable in class nl.cwi.sen1.moduleapi.types.DependencyList

term - Variable in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

term - Variable in class nl.cwi.sen1.moduleapi.types.ModuleIdList

term - Variable in class nl.cwi.sen1.moduleapi.types.ModuleList

term - Variable in class nl.cwi.sen1.moduleapi.types.TableEntryTable

toString() - Method in class nl.cwi.sen1.moduleapi.AbstractList

toString() - Method in class nl.cwi.sen1.moduleapi.AbstractType

toTerm() - Method in class nl.cwi.sen1.moduleapi.AbstractList

toTerm() - Method in class nl.cwi.sen1.moduleapi.AbstractType

toTerm(Default) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(Module) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(ModuleId) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(Attribute) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(TableEntry) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(Dependencies) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(Dependency) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(AttributeMap) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm(NatCon) - Method in class nl.cwi.sen1.moduleapi.Factory

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.attribute.Attribute

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.attributemap.AttributeMap

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.AttributeStore

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.dependencies.Dependencies

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.dependency.Dependency

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.DependencyList

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.module.Module

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.moduleattribute.ModuleAttribute

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.ModuleAttributeList

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.moduleid.ModuleId

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.ModuleIdList

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.ModuleList

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.modules.Default

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.natcon.NatCon

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.tableentry.TableEntry

toTerm() - Method in class nl.cwi.sen1.moduleapi.types.TableEntryTable

V

visit(Visitable) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Attribute(Attribute) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Attribute_Attribute(Attribute) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Attribute_Attribute(Attribute) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_Attribute_Attribute(Attribute) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_AttributeMap(AttributeMap) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_AttributeMap_AttributeMap(AttributeMap) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_AttributeMap_AttributeMap(AttributeMap) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_AttributeMap_AttributeMap(AttributeMap) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_AttributeStore(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_AttributeStore(AttributeStore) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_AttributeStore(AttributeStore) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_Dependencies(Dependencies) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Dependencies_Dependencies(Dependencies) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Dependencies_Dependencies(Dependencies) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_Dependencies_Dependencies(Dependencies) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_Dependency(Dependency) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Dependency_Dependency(Dependency) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Dependency_Dependency(Dependency) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_Dependency_Dependency(Dependency) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_DependencyList(DependencyList) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_DependencyList(DependencyList) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_DependencyList(DependencyList) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_Module(Module) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Module_Module(Module) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Module_Module(Module) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_Module_Module(Module) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_ModuleAttribute(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleAttribute_ModuleAttribute(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleAttribute_ModuleAttribute(ModuleAttribute) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_ModuleAttribute_ModuleAttribute(ModuleAttribute) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_ModuleAttributeList(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleAttributeList(ModuleAttributeList) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_ModuleAttributeList(ModuleAttributeList) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_ModuleId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleId_ModuleId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleId_ModuleId(ModuleId) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_ModuleId_ModuleId(ModuleId) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_ModuleIdList(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleIdList(ModuleIdList) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_ModuleIdList(ModuleIdList) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_ModuleList(ModuleList) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_ModuleList(ModuleList) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_ModuleList(ModuleList) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_Modules(Modules) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Modules_Default(Default) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_Modules_Default(Default) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_Modules_Default(Default) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_NatCon(NatCon) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_NatCon_NatCon(NatCon) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_NatCon_NatCon(NatCon) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_NatCon_NatCon(NatCon) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_TableEntry(TableEntry) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_TableEntry_TableEntry(TableEntry) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_TableEntry_TableEntry(TableEntry) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_TableEntry_TableEntry(TableEntry) - Method in interface nl.cwi.sen1.moduleapi.Visitor

visit_TableEntryTable(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.Fwd

visit_TableEntryTable(TableEntryTable) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

visit_TableEntryTable(TableEntryTable) - Method in interface nl.cwi.sen1.moduleapi.Visitor

VisitableFwd - Class in nl.cwi.sen1.moduleapi

VisitableFwd(VisitableVisitor) - Constructor for class nl.cwi.sen1.moduleapi.VisitableFwd

Visitor - Interface in nl.cwi.sen1.moduleapi

voidVisit(Visitable) - Method in class nl.cwi.sen1.moduleapi.FwdVoid

A B C D E F G H I M N P R S T V