A B C D E F G H I K L M N P R S T U

A

addAttribute(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

addAttribute(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

addAttribute(ATerm, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

addDependency(ModuleId, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

addDependency(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

addDependency(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

addDependency(ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

addEntries(AttributeTable) - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

addModule(Module, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

ascendants - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

attributes - Variable in class nl.cwi.sen1.modulemanager.model.Module

attributeSet(ModuleId, ATerm, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.model.AttributeSetListener

attributeSet(ModuleId, ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

AttributeSetListener - Interface in nl.cwi.sen1.modulemanager.model

AttributeTable - Class in nl.cwi.sen1.modulemanager.model

AttributeTable(Factory) - Constructor for class nl.cwi.sen1.modulemanager.model.AttributeTable

AttributeUpdateRule - Class in nl.cwi.sen1.modulemanager.model

AttributeUpdateRule(ATerm, ATerm, ATerm, ATerm) - Constructor for class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

AttributeUpdateRuleMap - Class in nl.cwi.sen1.modulemanager.model

AttributeUpdateRuleMap() - Constructor for class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

attributeUpdateRules - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

B

bridge - Variable in class nl.cwi.sen1.modulemanager.ModuleManager

C

checkInputSignature(ATermList) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerTool

checkRuleViolation(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

createModule() - Method in class nl.cwi.sen1.modulemanager.ModuleManager

createModule() - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

createModule() - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

D

deleteAllDependencies(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

deleteAttribute(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

deleteAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

deleteAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

deleteAttribute(ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

deleteDependencies(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

deleteDependencies(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

deleteDependencies(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

deleteDependencies(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

deleteDependency(ModuleId, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

deleteDependency(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

deleteDependency(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

deleteDependency(ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

deleteEntry(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

deleteModule(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

deleteModule(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

deleteModule(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

deleteModuleAttribute(ModuleId, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

deletePredicate(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

descendants - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

E

edgeList - Variable in class nl.cwi.sen1.modulemanager.model.ModuleGraph

entries - Variable in class nl.cwi.sen1.modulemanager.model.AttributeTable

equals(Object) - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

evaluateAll(ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

evaluateAnd(ATerm, ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

evaluateNot(ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

evaluateOne(ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

evaluateOr(ATerm, ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

evaluateSet(ATerm, ModuleId, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

extractATermList(Set<ModuleId>) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

F

factory - Variable in class nl.cwi.sen1.modulemanager.model.AttributeTable

factory - Variable in class nl.cwi.sen1.modulemanager.model.Module

factory - Variable in class nl.cwi.sen1.modulemanager.model.ModuleGraph

factory - Variable in class nl.cwi.sen1.modulemanager.ModuleManager

fireAttributeSetListener(ModuleId, ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

formula - Variable in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

G

getAllAttributes(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getAllAttributes(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getAllAttributes(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getAllAttributes(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getAllChildren(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getAllChildrenModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getAllChildrenModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getAllChildrenModules(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getAllModules() - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getAllModules() - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getAllModules() - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getAllModules() - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getAllParentModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getAllParentModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getAllParentModules(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getAllParents(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getAttribute(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getAttribute(ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getAttributes(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getAttributes() - Method in class nl.cwi.sen1.modulemanager.model.Module

getChildren(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getChildrenModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getChildrenModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getChildrenModules(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getClosableModules(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getClosableModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getClosableModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getClosableModules(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getDependencies() - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getDependencies() - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getDependencies() - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getDependencies() - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getEntries() - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

getFormula() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

getKey() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

getKey(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

getModuleAttribute(ModuleId, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getModuleGraph(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleGraph

getModuleGraph(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getModuleGraph(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getModuleGraph(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getModuleIdByAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getModuleIdByAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getModuleIdByAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getModuleIdByAttribute(ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getNamespace() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

getNextModuleId() - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getParentModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

getParentModules(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

getParentModules(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

getParents(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

getPredicate(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getPredicates(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getPredicates() - Method in class nl.cwi.sen1.modulemanager.model.Module

getPredicateTable(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getPredicateValue() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

getTable(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

getTableEntryTable() - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

getValue(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

H

handler(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerTool

I

initPatterns() - Method in class nl.cwi.sen1.modulemanager.ModuleManagerTool

initSigTable() - Method in class nl.cwi.sen1.modulemanager.ModuleManagerTool

innermostRuleEvaluation(ATerm, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

iterator() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

K

key - Variable in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

L

listener - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

M

main(String[]) - Static method in class nl.cwi.sen1.modulemanager.ModuleManager

makeInheritedAttribute(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

map - Variable in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

modalALL - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

modalAND - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

modalNOT - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

modalONE - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

modalOR - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

modalSET - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

Module - Class in nl.cwi.sen1.modulemanager.model

Module(Factory) - Constructor for class nl.cwi.sen1.modulemanager.model.Module

moduleCount - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

ModuleDatabase - Class in nl.cwi.sen1.modulemanager.model

ModuleDatabase(AttributeSetListener, PureFactory) - Constructor for class nl.cwi.sen1.modulemanager.model.ModuleDatabase

moduleDB - Variable in class nl.cwi.sen1.modulemanager.ModuleManager

ModuleGraph - Class in nl.cwi.sen1.modulemanager.model

ModuleGraph(PureFactory, AttributeSetListener) - Constructor for class nl.cwi.sen1.modulemanager.model.ModuleGraph

ModuleManager - Class in nl.cwi.sen1.modulemanager

ModuleManager(String[]) - Constructor for class nl.cwi.sen1.modulemanager.ModuleManager

ModuleManagerBridge - Class in nl.cwi.sen1.modulemanager

ModuleManagerBridge(ATermFactory, ModuleManagerTif) - Constructor for class nl.cwi.sen1.modulemanager.ModuleManagerBridge

ModuleManagerTif - Interface in nl.cwi.sen1.modulemanager

ModuleManagerTool - Class in nl.cwi.sen1.modulemanager

ModuleManagerTool(ATermFactory) - Constructor for class nl.cwi.sen1.modulemanager.ModuleManagerTool

modules - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

N

namespace - Variable in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

nl.cwi.sen1.modulemanager - package nl.cwi.sen1.modulemanager

nl.cwi.sen1.modulemanager.model - package nl.cwi.sen1.modulemanager.model

nodeList - Variable in class nl.cwi.sen1.modulemanager.model.ModuleGraph

notInInputSignature(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerTool

P

PaddAttribute0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PaddDependency0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PcreateModule0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PdeleteAttribute0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PdeleteDependencies0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PdeleteDependency0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PdeleteModule0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetAllAttributes0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetAllChildrenModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetAllModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetAllParentModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetAttribute0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetChildrenModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetClosableModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetDependencies0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetModuleGraph0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetModuleIdByAttribute0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PgetParentModules0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PrecAckEvent0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

PrecTerminate0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

predicates - Variable in class nl.cwi.sen1.modulemanager.model.Module

predicateValue - Variable in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

PregisterAttributeUpdateRule0 - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

printStatistics() - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

propagate(AttributeUpdateRule, ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

propagateToParents(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

pureFactory - Variable in class nl.cwi.sen1.modulemanager.ModuleManager

put(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

R

recAckEvent(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

recAckEvent(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

recAckEvent(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

recTerminate(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

recTerminate(ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

recTerminate(ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

registerAttributeUpdateRule(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

registerAttributeUpdateRule(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManager

registerAttributeUpdateRule(ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

registerAttributeUpdateRule(ATerm, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.modulemanager.ModuleManagerTif

remove(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

removeModule(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

S

setAttribute(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

setAttribute(ModuleId, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

setEdges() - Method in class nl.cwi.sen1.modulemanager.model.ModuleGraph

setEntry(ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.AttributeTable

setNodes(ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleGraph

setPredicate(ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.Module

sigTable - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerTool

size() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRuleMap

T

tool - Variable in class nl.cwi.sen1.modulemanager.ModuleManagerBridge

toString() - Method in class nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

transDescendants - Variable in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

triggerAllAttributeUpdateRules(ModuleId) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

triggerAllAttributeUpdateRulesOnAllModules() - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

U

updateAttribute(ModuleId, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

updatePredicate(ModuleId, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.modulemanager.model.ModuleDatabase

A B C D E F G H I K L M N P R S T U