Index (Relana 1.0 API)

A B C D E F G H I K L M N O P R S T U V W _
All Classes All Packages

A

ACC2FUNCT - Static variable in enum eu.simuline.relana.expressions.Operation.Functor
accessModifiers - Variable in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
accT - Variable in class eu.simuline.relana.parser.CClassParser.AppendOpContext
accT - Variable in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
add(Deficiency) - Method in class eu.simuline.relana.model.ProbDistr
add(Deficiency) - Method in class eu.simuline.relana.model.SInstance: Returns the SInstance arising from this one by removing def in a way that means that def occurs.
add(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula
add(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Comp
add(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Const
add(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Var
add(SInstance, Deficiency) - Method in class eu.simuline.relana.model.FlatCInstance: Returns the FlatCInstance arising from this one by assuming that def occurs within serv.
add2DefMap() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
add2DefMap(int) - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
add2DefMap(Map<Set<Deficiency>, Deficiency>) - Method in class eu.simuline.relana.parser.CClassParser
Add2DefMapContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
Add2DefMapContext(ParserRuleContext, int, Map<Set<Deficiency>, Deficiency>) - Constructor for class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
addAccessModifier() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
addAccessModifier(int) - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
addAccessModifier(Set<CClass.SClassModifier>) - Method in class eu.simuline.relana.parser.CClassParser
AddAccessModifierContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
AddAccessModifierContext(ParserRuleContext, int, Set<CClass.SClassModifier>) - Constructor for class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
addAll(DeficiencyNode) - Method in class eu.simuline.relana.model.DeficiencyNode
addAll(Map<Deficiency, DeficiencyNode>) - Method in class eu.simuline.relana.expressions.Type
addComponent(String, CInstance) - Method in class eu.simuline.relana.model.CInstance: Adds the given component under the given name.
addDef() - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
addDef() - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
addDef(int) - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
addDef(int) - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
addDef(Set<Deficiency>) - Method in class eu.simuline.relana.parser.CClassParser
AddDefContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AddDefContext
AddDefContext(ParserRuleContext, int, Set<Deficiency>) - Constructor for class eu.simuline.relana.parser.CClassParser.AddDefContext
addDeficiency() - Method in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
addDeficiency() - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
addDeficiency(int) - Method in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
addDeficiency(int) - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
addDeficiency(Map<Deficiency, DeficiencyNode>) - Method in class eu.simuline.relana.parser.SClassParser
AddDeficiencyContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
AddDeficiencyContext(ParserRuleContext, int, Map<Deficiency, DeficiencyNode>) - Constructor for class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
addEffect(String, SInstance) - Method in class eu.simuline.relana.model.CInstance: Adds the given effect under the given name.
addFormula() - Method in class eu.simuline.relana.parser.FormulaParser
addFormula() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
addFormula(int) - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
AddFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.AddFormulaContext
addMap() - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
addMap() - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
addMap(int) - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
addMap(int) - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
addMap(Map<String, MapDecl>) - Method in class eu.simuline.relana.parser.CClassParser
addMap(Set<Deficiency>, Map<Deficiency, SClass>, Set<Deficiency>) - Method in class eu.simuline.relana.parser.SClassParser
AddMapContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AddMapContext
AddMapContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.AddMapContext
AddMapContext(ParserRuleContext, int, Map<String, MapDecl>) - Constructor for class eu.simuline.relana.parser.CClassParser.AddMapContext
AddMapContext(ParserRuleContext, int, Set<Deficiency>, Map<Deficiency, SClass>, Set<Deficiency>) - Constructor for class eu.simuline.relana.parser.SClassParser.AddMapContext
addName(List<String>) - Method in class eu.simuline.relana.model.Package
addOccurrence(CClassLoader.Occurrence) - Method in class eu.simuline.relana.model.CClass
addOccurrence(CClassLoader.Occurrence) - Method in interface eu.simuline.relana.model.CClassLink
addOccurrence(CClassLoader.Occurrence) - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
addPath() - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
addPath(int) - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
addPath(Set<List<String>>) - Method in class eu.simuline.relana.parser.SClassParser
AddPathContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.AddPathContext
AddPathContext(ParserRuleContext, int, Set<List<String>>) - Constructor for class eu.simuline.relana.parser.SClassParser.AddPathContext
addPredecessor(DeficiencyNode) - Method in class eu.simuline.relana.model.DeficiencyNode
addPredecessors(Set<DeficiencyNode>) - Method in class eu.simuline.relana.model.DeficiencyNode
addProbAlloc() - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
addProbAlloc(int) - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
addProbAlloc(Map<Deficiency, BigDecimal>) - Method in class eu.simuline.relana.parser.CClassParser
AddProbAllocContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
AddProbAllocContext(ParserRuleContext, int, Map<Deficiency, BigDecimal>) - Constructor for class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
addRelation() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
addRelation() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
addRelation(int) - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
addRelation(int) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
addRelation(Map<Deficiency, DeficiencyNode>) - Method in class eu.simuline.relana.parser.SClassParser
AddRelationContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.AddRelationContext
AddRelationContext(ParserRuleContext, int, Map<Deficiency, DeficiencyNode>) - Constructor for class eu.simuline.relana.parser.SClassParser.AddRelationContext
addRelations() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
addRelations(Map<Deficiency, DeficiencyNode>) - Method in class eu.simuline.relana.parser.SClassParser
AddRelationsContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.AddRelationsContext
AddRelationsContext(ParserRuleContext, int, Map<Deficiency, DeficiencyNode>) - Constructor for class eu.simuline.relana.parser.SClassParser.AddRelationsContext
addSubPackage(String) - Method in class eu.simuline.relana.model.Package
addSuccessor(DeficiencyNode) - Method in class eu.simuline.relana.model.DeficiencyNode
addSuccessors(Set<DeficiencyNode>) - Method in class eu.simuline.relana.model.DeficiencyNode
addSuccsPreds(DeficiencyNode, DeficiencyNode) - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
addToIdDom() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
addToIdDom(Set<Deficiency>) - Method in class eu.simuline.relana.parser.CClassParser
AddToIdDomContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
AddToIdDomContext(ParserRuleContext, int, Set<Deficiency>) - Constructor for class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
andOr() - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
appendFormula() - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendFormula() - Method in class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
appendFormula(int) - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendFormula(String, StringBuffer) - Method in class eu.simuline.relana.parser.CClassParser
AppendFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
AppendFormulaContext(ParserRuleContext, int, String, StringBuffer) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendOp() - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendOp(StringBuffer) - Method in class eu.simuline.relana.parser.CClassParser
AppendOpContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendOpContext
AppendOpContext(ParserRuleContext, int, StringBuffer) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendOpContext
appendToken() - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendToken(int) - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
appendToken(String, StringBuffer, String) - Method in class eu.simuline.relana.parser.CClassParser
AppendTokenContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendTokenContext
AppendTokenContext(ParserRuleContext, int, String, StringBuffer, String) - Constructor for class eu.simuline.relana.parser.CClassParser.AppendTokenContext
args - Variable in class eu.simuline.relana.expressions.Formula.Comp
args - Variable in class eu.simuline.relana.expressions.FormulaDecl.Comp
argsStack - Variable in class eu.simuline.relana.parser.FormulaParser: The stack of incompletely parsed levels of formulae.
arity1() - Method in class eu.simuline.relana.expressions.Operation
arity1() - Method in class eu.simuline.relana.expressions.Operation.CompOp
arity1() - Method in class eu.simuline.relana.expressions.Operation.IntsOp
arity1() - Method in class eu.simuline.relana.expressions.Operation.Maps
arity1() - Method in class eu.simuline.relana.expressions.Operation.UnionOp
asPackage() - Method in class eu.simuline.relana.model.SClass
asSet() - Method in class eu.simuline.relana.expressions.Type: Returns a copy to be modified without affecting the original of the maximal set of deficiencies of this type.

B

baseClass - Variable in class eu.simuline.relana.sys.Project
BaseOps(Operation) - Constructor for enum eu.simuline.relana.expressions.Operation.BaseOps
BOOL_S_CLASS_NAME - Static variable in class eu.simuline.relana.model.SClass
BOOLEAN - Static variable in class eu.simuline.relana.expressions.Type
BOOLEAN - Static variable in class eu.simuline.relana.model.SClass
buf - Variable in class eu.simuline.relana.parser.CClassParser.AppendOpContext
buf - Variable in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
BUILD_IN - Static variable in class eu.simuline.relana.model.Package: The constant for the build-in-package, i.e. the package containing the built-in classes.

C

cClass - Variable in class eu.simuline.relana.parser.CClassParser
cClass - Variable in class eu.simuline.relana.parser.FormulaParser
cClass(ClassLocator) - Method in class eu.simuline.relana.parser.CClassParser
CClass - Class in eu.simuline.relana.model: Represents a component class.
CClass(String, Package, CClass, Map<String, MapDecl>, Map<String, CClassLink>, Map<String, CClass.SClassDecl>) - Constructor for class eu.simuline.relana.model.CClass
CCLASS - Static variable in class eu.simuline.relana.parser.CClassLexer
CCLASS - Static variable in class eu.simuline.relana.parser.CClassParser
CCLASS() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
CClass.SClassDecl - Class in eu.simuline.relana.model: Represents the declaration of an SClass within this CClass.
CClass.SClassModifier - Enum in eu.simuline.relana.model: Enumerates the class modifier for an SClass: input and output.
CClassBaseListener - Class in eu.simuline.relana.parser: This class provides an empty implementation of CClassListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
CClassBaseListener() - Constructor for class eu.simuline.relana.parser.CClassBaseListener
CClassContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.CClassContext
CClassContext(ParserRuleContext, int, ClassLocator) - Constructor for class eu.simuline.relana.parser.CClassParser.CClassContext
CClassLexer - Class in eu.simuline.relana.parser
CClassLexer(CharStream) - Constructor for class eu.simuline.relana.parser.CClassLexer
CClassLink - Interface in eu.simuline.relana.model: Represents a link to a CClass which also implements this interface.
CClassListener - Interface in eu.simuline.relana.parser: This interface defines a complete listener for a parse tree produced by CClassParser.
CClassLoader - Class in eu.simuline.relana.model: The loader for all CClasses.
CClassLoader(URL) - Constructor for class eu.simuline.relana.model.CClassLoader
CClassLoader.ClassResolver - Class in eu.simuline.relana.model: Resolver for CClassLinks
CClassLoader.Occurrence - Class in eu.simuline.relana.model: Represents the occurrence of an instance of a CClass as a component of a CInstance.
cClassName - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
CClassParser - Class in eu.simuline.relana.parser
CClassParser(InputStream) - Constructor for class eu.simuline.relana.parser.CClassParser
CClassParser(TokenStream) - Constructor for class eu.simuline.relana.parser.CClassParser
CClassParser.Add2DefMapContext - Class in eu.simuline.relana.parser
CClassParser.AddAccessModifierContext - Class in eu.simuline.relana.parser
CClassParser.AddDefContext - Class in eu.simuline.relana.parser
CClassParser.AddMapContext - Class in eu.simuline.relana.parser
CClassParser.AddProbAllocContext - Class in eu.simuline.relana.parser
CClassParser.AddToIdDomContext - Class in eu.simuline.relana.parser
CClassParser.AppendFormulaContext - Class in eu.simuline.relana.parser
CClassParser.AppendOpContext - Class in eu.simuline.relana.parser
CClassParser.AppendTokenContext - Class in eu.simuline.relana.parser
CClassParser.CClassContext - Class in eu.simuline.relana.parser
CClassParser.ComponentContext - Class in eu.simuline.relana.parser
CClassParser.ComponentsContext - Class in eu.simuline.relana.parser
CClassParser.EffectContext - Class in eu.simuline.relana.parser
CClassParser.EffectsContext - Class in eu.simuline.relana.parser
CClassParser.FormulaWrapper - Class in eu.simuline.relana.parser
CClassParser.GetDistrContext - Class in eu.simuline.relana.parser
CClassParser.GetPathContext - Class in eu.simuline.relana.parser
CClassParser.GetSuperClassContext - Class in eu.simuline.relana.parser
CClassParser.MapsContext - Class in eu.simuline.relana.parser
CClassParser.ReplDistrContext - Class in eu.simuline.relana.parser
CClassParser.SkipFormulaContext - Class in eu.simuline.relana.parser
cClassX - Variable in class eu.simuline.relana.parser.CClassParser.ComponentContext
channelNames - Static variable in class eu.simuline.relana.parser.CClassLexer
channelNames - Static variable in class eu.simuline.relana.parser.FormulaLexer
channelNames - Static variable in class eu.simuline.relana.parser.SClassLexer
characters(char[], int, int) - Method in class eu.simuline.relana.sys.Project
checkDependencies(ClassLocator) - Method in class eu.simuline.relana.parser.SClassParser: Throws an exception if the class currently parsed is involved in a cyclic definition.
checkIn01(Map<Deficiency, BigDecimal>) - Static method in class eu.simuline.relana.model.ProbDistr
checkInvImg01() - Method in class eu.simuline.relana.model.DeficiencyMap
CInstance - Class in eu.simuline.relana.model: Instance of Component.
CInstance() - Constructor for class eu.simuline.relana.model.CInstance: Creates a new CInstance instance without effects and subcomponents (only for class CClass.COMPONENT).
classLoader - Variable in class eu.simuline.relana.parser.CClassParser
classLoader - Variable in class eu.simuline.relana.parser.FormulaParser
classLoader - Variable in class eu.simuline.relana.parser.SClassParser
ClassLocator - Class in eu.simuline.relana.model: Locates a class within a library.
ClassLocator(ClassLocator) - Constructor for class eu.simuline.relana.model.ClassLocator
ClassLocator(String, Package) - Constructor for class eu.simuline.relana.model.ClassLocator
ClassResolver(ClassLocator) - Constructor for class eu.simuline.relana.model.CClassLoader.ClassResolver
cls - Variable in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
cName - Variable in class eu.simuline.relana.model.CClass: The Name of this CClass.
cName - Variable in class eu.simuline.relana.parser.CClassParser.ComponentContext
colnNumber - Variable in class eu.simuline.relana.parser.CClassParser.FormulaWrapper
colnNumber - Variable in class eu.simuline.relana.parser.FormulaParser
Comp(Operation.Eval, Set<Formula>) - Constructor for class eu.simuline.relana.expressions.Formula.Comp
Comp(Operation, Set<FormulaDecl>) - Constructor for class eu.simuline.relana.expressions.FormulaDecl.Comp
compFormula() - Method in class eu.simuline.relana.parser.FormulaParser
compFormula() - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
CompFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
Complement - eu.simuline.relana.expressions.Operation.BaseOps
COMPLEMENT - Static variable in class eu.simuline.relana.parser.CClassLexer
COMPLEMENT - Static variable in class eu.simuline.relana.parser.CClassParser
COMPLEMENT - Static variable in class eu.simuline.relana.parser.FormulaLexer
COMPLEMENT - Static variable in class eu.simuline.relana.parser.FormulaParser
COMPLEMENT() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
COMPLEMENT() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
compName() - Method in class eu.simuline.relana.model.CClassLoader.Occurrence
component - Variable in class eu.simuline.relana.model.CClassLoader.Occurrence
component() - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
component(int) - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
component(Map<String, CClassLink>) - Method in class eu.simuline.relana.parser.CClassParser
COMPONENT - Static variable in class eu.simuline.relana.model.CClass: The root of the subclass hierarchy of CClasses: Class named Component without superclass, i.e.
ComponentContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.ComponentContext
ComponentContext(ParserRuleContext, int, Map<String, CClassLink>) - Constructor for class eu.simuline.relana.parser.CClassParser.ComponentContext
components - Variable in class eu.simuline.relana.model.CInstance: Maps the names of the subcomponents to their instances.
components() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
components() - Method in class eu.simuline.relana.parser.CClassParser
COMPONENTS - Static variable in class eu.simuline.relana.parser.CClassLexer
COMPONENTS - Static variable in class eu.simuline.relana.parser.CClassParser
COMPONENTS() - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
ComponentsContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.ComponentsContext
componentsX - Variable in class eu.simuline.relana.parser.CClassParser.ComponentContext
componentsX - Variable in class eu.simuline.relana.parser.CClassParser.ComponentsContext
componentsXC - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
CompOp() - Constructor for class eu.simuline.relana.expressions.Operation.CompOp
compose(DeficiencyMap) - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the composition of this map and second (in this order).
condEventName(String, SortedSet<String>) - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
consistency() - Method in class eu.simuline.relana.expressions.Type: Returns wheter the successors or the predecessors of an value of Type.deficiency2ordering are all in the value set of Type.deficiency2ordering.
Const(Type, Set<Deficiency>) - Constructor for class eu.simuline.relana.expressions.FormulaDecl.Const
Const(Set<Deficiency>, Type) - Constructor for class eu.simuline.relana.expressions.Formula.Const
constFormula() - Method in class eu.simuline.relana.parser.FormulaParser
constFormula() - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
ConstFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
cont(Set<Deficiency>) - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the inverse image of defs under this map.
CONT - Static variable in class eu.simuline.relana.parser.CClassLexer
CONT - Static variable in class eu.simuline.relana.parser.CClassParser
CONT - Static variable in class eu.simuline.relana.parser.FormulaLexer
CONT - Static variable in class eu.simuline.relana.parser.FormulaParser
CONT() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
CONT() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
Contravariant - eu.simuline.relana.expressions.Operation.Functor
copy() - Method in class eu.simuline.relana.expressions.Type
cov(Set<Deficiency>) - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the image of defs under this map.
COV - Static variable in class eu.simuline.relana.parser.CClassLexer
COV - Static variable in class eu.simuline.relana.parser.CClassParser
COV - Static variable in class eu.simuline.relana.parser.FormulaLexer
COV - Static variable in class eu.simuline.relana.parser.FormulaParser
COV() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
COV() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
Covariant - eu.simuline.relana.expressions.Operation.Functor
covCont(String) - Static method in enum eu.simuline.relana.expressions.Operation.Functor
create(Operation.Eval, Set<Formula>) - Static method in class eu.simuline.relana.expressions.Formula.Comp
create(Set<Deficiency>, Type) - Static method in class eu.simuline.relana.expressions.Formula.Const
createType() - Method in class eu.simuline.relana.model.SClass

D

decl - Variable in class eu.simuline.relana.expressions.FormulaDecl.Var
def - Variable in class eu.simuline.relana.model.FlatCInstance.InstDef
def2distr - Variable in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
def2prob - Variable in class eu.simuline.relana.model.ProbDistr
def2prob - Variable in class eu.simuline.relana.model.ProbDistr.Validator: Maps a deficiency which is either minimal or conditional to its probability.
def2prob - Variable in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
deficiency - Variable in class eu.simuline.relana.model.DeficiencyNode
deficiency - Variable in class eu.simuline.relana.model.DeficiencySetNode: The Deficiency to be resolved.
Deficiency - Class in eu.simuline.relana.model: Represents a Deficiency.
Deficiency(String) - Constructor for class eu.simuline.relana.model.Deficiency
deficiency2ordering - Variable in class eu.simuline.relana.expressions.Type: Maps declared Deficiencys ********** (see SClass.getDeclaredDeficiency2ordering()) to their nodes which determine their predecessors and their successors.
deficiency2ordering - Variable in class eu.simuline.relana.model.SClass: Maps declared Deficiencys (see SClass.getDeclaredDeficiency2ordering()) to their nodes which determine their predecessors and their successors.
deficiency2ordering - Variable in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
deficiency2ordering - Variable in class eu.simuline.relana.parser.SClassParser.AddRelationContext
deficiency2ordering - Variable in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
deficiency2ordering - Variable in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
deficiency2ordering - Variable in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
deficiency2orderingC - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
deficiency2orderingC - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
DeficiencyMap - Class in eu.simuline.relana.model: Describes a map between Deficiency's of one type to another one.
DeficiencyMap(Map<Set<Deficiency>, Deficiency>, SClass, SClass, Set<Deficiency>) - Constructor for class eu.simuline.relana.model.DeficiencyMap
DeficiencyMapTest - Class in eu.simuline.relana.model: DeficiencyMapTest.java Created: Mon May 23 21:23:07 2005
DeficiencyMapTest() - Constructor for class eu.simuline.relana.model.DeficiencyMapTest
DeficiencyMapTest.TestAll - Class in eu.simuline.relana.model
DeficiencyNode - Class in eu.simuline.relana.model: Wraps a Deficiency and serves as a node in the graph describing the relation \implies.
DeficiencyNode(Deficiency) - Constructor for class eu.simuline.relana.model.DeficiencyNode
DeficiencyNode(DeficiencyNode) - Constructor for class eu.simuline.relana.model.DeficiencyNode
DeficiencyNode(Deficiency, Set<DeficiencyNode>, Set<DeficiencyNode>) - Constructor for class eu.simuline.relana.model.DeficiencyNode
deficiencySet - Variable in class eu.simuline.relana.model.DeficiencySetNode: The set of elementary Deficiencys resolving DeficiencySetNode.deficiency.
DeficiencySetNode - Class in eu.simuline.relana.model: Resolvation of a property within an SClass into elementary stochastically independent properties.
DeficiencySetNode(Deficiency, Set<Deficiency>) - Constructor for class eu.simuline.relana.model.DeficiencySetNode
defs - Variable in class eu.simuline.relana.parser.CClassParser.AddDefContext
defT - Variable in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
defT - Variable in class eu.simuline.relana.parser.CClassParser.AddDefContext
defT - Variable in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
defT - Variable in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
defT1 - Variable in class eu.simuline.relana.parser.SClassParser.AddRelationContext
defT2 - Variable in class eu.simuline.relana.parser.SClassParser.AddRelationContext
degenerates - Variable in class eu.simuline.relana.model.ProbDistr.Validator: The Deficiencys in the key set of ProbDistr.Validator.def2prob which map to exactly 1.
distr - Variable in class eu.simuline.relana.model.CClass.SClassDecl: An optional probability distribution; otherwise null.
distr - Variable in class eu.simuline.relana.model.SInstance
distr - Variable in class eu.simuline.relana.parser.CClassParser.GetDistrContext
distrC - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
distrInnerC - Variable in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
domain - Variable in class eu.simuline.relana.model.DeficiencyMap: The elements of DeficiencyMap.source for which DeficiencyMap.map(eu.simuline.relana.model.Deficiency) yields a non-null-result.

E

effect() - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
effect(int) - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
effect(Map<String, CClass.SClassDecl>, Map<String, CClassParser.FormulaWrapper>) - Method in class eu.simuline.relana.parser.CClassParser
EffectContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.EffectContext
EffectContext(ParserRuleContext, int, Map<String, CClass.SClassDecl>, Map<String, CClassParser.FormulaWrapper>) - Constructor for class eu.simuline.relana.parser.CClassParser.EffectContext
effects - Variable in class eu.simuline.relana.model.CClass: Maps the names of the effects to their classes.
effects - Variable in class eu.simuline.relana.model.CInstance: Maps the names of the effects to their instances.
effects - Variable in class eu.simuline.relana.model.FlatCInstance: Maps the names of the effects to their instances.
effects() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
effects(Map<String, CClassParser.FormulaWrapper>) - Method in class eu.simuline.relana.parser.CClassParser
EFFECTS - Static variable in class eu.simuline.relana.parser.CClassLexer
EFFECTS - Static variable in class eu.simuline.relana.parser.CClassParser
EFFECTS() - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
EffectsContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.EffectsContext
EffectsContext(ParserRuleContext, int, Map<String, CClassParser.FormulaWrapper>) - Constructor for class eu.simuline.relana.parser.CClassParser.EffectsContext
effectsMap - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
effectsX - Variable in class eu.simuline.relana.parser.CClassParser.EffectsContext
effectsXC - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
EMPTY - Static variable in class eu.simuline.relana.expressions.Type
EMPTY_EXPRESSION - Static variable in class eu.simuline.relana.expressions.Formula
END - Static variable in class eu.simuline.relana.parser.CClassLexer
END - Static variable in class eu.simuline.relana.parser.CClassParser
END - Static variable in class eu.simuline.relana.parser.FormulaLexer
END - Static variable in class eu.simuline.relana.parser.FormulaParser
END - Static variable in class eu.simuline.relana.parser.SClassLexer
END - Static variable in class eu.simuline.relana.parser.SClassParser
END() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
END() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
END() - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
END() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
END() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
END() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
endDocument() - Method in class eu.simuline.relana.sys.Project
endElement(String, String, String) - Method in class eu.simuline.relana.sys.Project
endPrefixMapping(String) - Method in class eu.simuline.relana.sys.Project
enterAdd2DefMap(CClassParser.Add2DefMapContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.add2DefMap(java.util.Map<java.util.Set<eu.simuline.relana.model.Deficiency>, eu.simuline.relana.model.Deficiency>).
enterAdd2DefMap(CClassParser.Add2DefMapContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.add2DefMap(java.util.Map<java.util.Set<eu.simuline.relana.model.Deficiency>, eu.simuline.relana.model.Deficiency>).
enterAddAccessModifier(CClassParser.AddAccessModifierContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.addAccessModifier(java.util.Set<eu.simuline.relana.model.CClass.SClassModifier>).
enterAddAccessModifier(CClassParser.AddAccessModifierContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.addAccessModifier(java.util.Set<eu.simuline.relana.model.CClass.SClassModifier>).
enterAddDef(CClassParser.AddDefContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.addDef(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAddDef(CClassParser.AddDefContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.addDef(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAddDeficiency(SClassParser.AddDeficiencyContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.addDeficiency(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddDeficiency(SClassParser.AddDeficiencyContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.addDeficiency(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddFormula(FormulaParser.AddFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.addFormula().
enterAddFormula(FormulaParser.AddFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.addFormula().
enterAddMap(CClassParser.AddMapContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.addMap(java.util.Map<java.lang.String, eu.simuline.relana.model.MapDecl>).
enterAddMap(CClassParser.AddMapContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.addMap(java.util.Map<java.lang.String, eu.simuline.relana.model.MapDecl>).
enterAddMap(SClassParser.AddMapContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.addMap(java.util.Set<eu.simuline.relana.model.Deficiency>, java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.SClass>, java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAddMap(SClassParser.AddMapContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.addMap(java.util.Set<eu.simuline.relana.model.Deficiency>, java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.SClass>, java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAddPath(SClassParser.AddPathContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.addPath(java.util.Set<java.util.List<java.lang.String>>).
enterAddPath(SClassParser.AddPathContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.addPath(java.util.Set<java.util.List<java.lang.String>>).
enterAddProbAlloc(CClassParser.AddProbAllocContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.addProbAlloc(java.util.Map<eu.simuline.relana.model.Deficiency, java.math.BigDecimal>).
enterAddProbAlloc(CClassParser.AddProbAllocContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.addProbAlloc(java.util.Map<eu.simuline.relana.model.Deficiency, java.math.BigDecimal>).
enterAddRelation(SClassParser.AddRelationContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.addRelation(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddRelation(SClassParser.AddRelationContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.addRelation(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddRelations(SClassParser.AddRelationsContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.addRelations(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddRelations(SClassParser.AddRelationsContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.addRelations(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
enterAddToIdDom(CClassParser.AddToIdDomContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.addToIdDom(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAddToIdDom(CClassParser.AddToIdDomContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.addToIdDom(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterAppendFormula(CClassParser.AppendFormulaContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.appendFormula(java.lang.String, java.lang.StringBuffer).
enterAppendFormula(CClassParser.AppendFormulaContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.appendFormula(java.lang.String, java.lang.StringBuffer).
enterAppendOp(CClassParser.AppendOpContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.appendOp(java.lang.StringBuffer).
enterAppendOp(CClassParser.AppendOpContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.appendOp(java.lang.StringBuffer).
enterAppendToken(CClassParser.AppendTokenContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.appendToken(java.lang.String, java.lang.StringBuffer, java.lang.String).
enterAppendToken(CClassParser.AppendTokenContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.appendToken(java.lang.String, java.lang.StringBuffer, java.lang.String).
enterCClass(CClassParser.CClassContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.cClass.
enterCClass(CClassParser.CClassContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.cClass.
enterCompFormula(FormulaParser.CompFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.compFormula().
enterCompFormula(FormulaParser.CompFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.compFormula().
enterComponent(CClassParser.ComponentContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.component(java.util.Map<java.lang.String, eu.simuline.relana.model.CClassLink>).
enterComponent(CClassParser.ComponentContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.component(java.util.Map<java.lang.String, eu.simuline.relana.model.CClassLink>).
enterComponents(CClassParser.ComponentsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.components().
enterComponents(CClassParser.ComponentsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.components().
enterConstFormula(FormulaParser.ConstFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.constFormula().
enterConstFormula(FormulaParser.ConstFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.constFormula().
enterEffect(CClassParser.EffectContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.effect(java.util.Map<java.lang.String, eu.simuline.relana.model.CClass.SClassDecl>, java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
enterEffect(CClassParser.EffectContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.effect(java.util.Map<java.lang.String, eu.simuline.relana.model.CClass.SClassDecl>, java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
enterEffects(CClassParser.EffectsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.effects(java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
enterEffects(CClassParser.EffectsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.effects(java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
enterEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.CClassBaseListener
enterEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener
enterEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.SClassBaseListener
enterFormula(FormulaParser.FormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.formula().
enterFormula(FormulaParser.FormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.formula().
enterGetCheckedDeficiencies(SClassParser.GetCheckedDeficienciesContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.getCheckedDeficiencies(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterGetCheckedDeficiencies(SClassParser.GetCheckedDeficienciesContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.getCheckedDeficiencies(java.util.Set<eu.simuline.relana.model.Deficiency>).
enterGetDeficiencies(SClassParser.GetDeficienciesContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.getDeficiencies().
enterGetDeficiencies(SClassParser.GetDeficienciesContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.getDeficiencies().
enterGetDistr(CClassParser.GetDistrContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.getDistr(eu.simuline.relana.model.SClass).
enterGetDistr(CClassParser.GetDistrContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.getDistr(eu.simuline.relana.model.SClass).
enterGetInnerCls(SClassParser.GetInnerClsContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.getInnerCls(eu.simuline.relana.model.SClass, java.util.Set<eu.simuline.relana.model.Deficiency>).
enterGetInnerCls(SClassParser.GetInnerClsContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.getInnerCls(eu.simuline.relana.model.SClass, java.util.Set<eu.simuline.relana.model.Deficiency>).
enterGetPath(CClassParser.GetPathContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.getPath().
enterGetPath(CClassParser.GetPathContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.getPath().
enterGetPath(SClassParser.GetPathContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.getPath().
enterGetPath(SClassParser.GetPathContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.getPath().
enterGetSuperClass(CClassParser.GetSuperClassContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.getSuperClass().
enterGetSuperClass(CClassParser.GetSuperClassContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.getSuperClass().
enterGetSuperClass(SClassParser.GetSuperClassContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.getSuperClass(java.util.Map<java.util.List<java.lang.String>, eu.simuline.relana.model.SClass>).
enterGetSuperClass(SClassParser.GetSuperClassContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.getSuperClass(java.util.Map<java.util.List<java.lang.String>, eu.simuline.relana.model.SClass>).
enterMaps(CClassParser.MapsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.maps().
enterMaps(CClassParser.MapsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.maps().
enterPath(FormulaParser.PathContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.path.
enterPath(FormulaParser.PathContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.path.
enterReplDistr(CClassParser.ReplDistrContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.replDistr(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.ProbDistr>, eu.simuline.relana.model.SClass).
enterReplDistr(CClassParser.ReplDistrContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.replDistr(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.ProbDistr>, eu.simuline.relana.model.SClass).
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddDefContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.AddFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.VarFormulaContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddPathContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
enterRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
enterSClass(SClassParser.SClassContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Enter a parse tree produced by SClassParser.sClass(eu.simuline.relana.model.ClassLocator, java.util.Map<eu.simuline.relana.model.ClassLocator, eu.simuline.relana.model.ClassLocator>).
enterSClass(SClassParser.SClassContext) - Method in interface eu.simuline.relana.parser.SClassListener: Enter a parse tree produced by SClassParser.sClass(eu.simuline.relana.model.ClassLocator, java.util.Map<eu.simuline.relana.model.ClassLocator, eu.simuline.relana.model.ClassLocator>).
enterSkipFormula(CClassParser.SkipFormulaContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Enter a parse tree produced by CClassParser.skipFormula().
enterSkipFormula(CClassParser.SkipFormulaContext) - Method in interface eu.simuline.relana.parser.CClassListener: Enter a parse tree produced by CClassParser.skipFormula().
enterVarFormula(FormulaParser.VarFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Enter a parse tree produced by FormulaParser.varFormula().
enterVarFormula(FormulaParser.VarFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Enter a parse tree produced by FormulaParser.varFormula().
EOF() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
EOF() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
equals(Object) - Method in class eu.simuline.relana.expressions.Formula
equals(Object) - Method in class eu.simuline.relana.expressions.FormulaDecl
equals(Object) - Method in class eu.simuline.relana.expressions.Type
equals(Object) - Method in class eu.simuline.relana.model.CClass.SClassDecl
equals(Object) - Method in class eu.simuline.relana.model.CClassLoader.Occurrence
equals(Object) - Method in class eu.simuline.relana.model.ClassLocator
equals(Object) - Method in class eu.simuline.relana.model.Deficiency
equals(Object) - Method in class eu.simuline.relana.model.DeficiencyNode
equals(Object) - Method in class eu.simuline.relana.model.InstanceLocator
equals(Object) - Method in class eu.simuline.relana.model.SClass
equals(Object) - Method in class eu.simuline.relana.model.SInstance
error() - Method in class eu.simuline.relana.model.ProbDistr.Validator
eu.simuline.relana.expressions - package eu.simuline.relana.expressions: Classes to describe expressions.
eu.simuline.relana.model - package eu.simuline.relana.model: Description for object oriented models in terms of java classes.
eu.simuline.relana.parser - package eu.simuline.relana.parser: Classes to parse all file types except xml: CClassParser parse *.ccl files representing Component Classes, SClassParser parse *.scl files representing Service Classes and finally FormulaParser parse formulae.
eu.simuline.relana.sys - package eu.simuline.relana.sys: Relana as a system comprising the main class Relana and the classes Project and ProjectDesc to read and to represent a project file.
eval(DeficiencyMap, Set<Deficiency>) - Method in enum eu.simuline.relana.expressions.Operation.Functor
eval(Set<Set<Deficiency>>) - Method in interface eu.simuline.relana.expressions.Operation.Eval
eval(Set<Set<Deficiency>>) - Method in class eu.simuline.relana.expressions.Operation.IntsOp
eval(Set<Set<Deficiency>>) - Method in class eu.simuline.relana.expressions.Operation.Maps
eval(Set<Set<Deficiency>>) - Method in class eu.simuline.relana.expressions.Operation.UnionOp
eval(Set<Set<Deficiency>>, DeficiencyMap) - Method in enum eu.simuline.relana.expressions.Operation.Functor
exceptionThrown - Variable in class eu.simuline.relana.parser.CClassParser
exceptionThrown - Variable in class eu.simuline.relana.parser.FormulaParser
exitAdd2DefMap(CClassParser.Add2DefMapContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.add2DefMap(java.util.Map<java.util.Set<eu.simuline.relana.model.Deficiency>, eu.simuline.relana.model.Deficiency>).
exitAdd2DefMap(CClassParser.Add2DefMapContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.add2DefMap(java.util.Map<java.util.Set<eu.simuline.relana.model.Deficiency>, eu.simuline.relana.model.Deficiency>).
exitAddAccessModifier(CClassParser.AddAccessModifierContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.addAccessModifier(java.util.Set<eu.simuline.relana.model.CClass.SClassModifier>).
exitAddAccessModifier(CClassParser.AddAccessModifierContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.addAccessModifier(java.util.Set<eu.simuline.relana.model.CClass.SClassModifier>).
exitAddDef(CClassParser.AddDefContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.addDef(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAddDef(CClassParser.AddDefContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.addDef(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAddDeficiency(SClassParser.AddDeficiencyContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.addDeficiency(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddDeficiency(SClassParser.AddDeficiencyContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.addDeficiency(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddFormula(FormulaParser.AddFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.addFormula().
exitAddFormula(FormulaParser.AddFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.addFormula().
exitAddMap(CClassParser.AddMapContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.addMap(java.util.Map<java.lang.String, eu.simuline.relana.model.MapDecl>).
exitAddMap(CClassParser.AddMapContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.addMap(java.util.Map<java.lang.String, eu.simuline.relana.model.MapDecl>).
exitAddMap(SClassParser.AddMapContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.addMap(java.util.Set<eu.simuline.relana.model.Deficiency>, java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.SClass>, java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAddMap(SClassParser.AddMapContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.addMap(java.util.Set<eu.simuline.relana.model.Deficiency>, java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.SClass>, java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAddPath(SClassParser.AddPathContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.addPath(java.util.Set<java.util.List<java.lang.String>>).
exitAddPath(SClassParser.AddPathContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.addPath(java.util.Set<java.util.List<java.lang.String>>).
exitAddProbAlloc(CClassParser.AddProbAllocContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.addProbAlloc(java.util.Map<eu.simuline.relana.model.Deficiency, java.math.BigDecimal>).
exitAddProbAlloc(CClassParser.AddProbAllocContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.addProbAlloc(java.util.Map<eu.simuline.relana.model.Deficiency, java.math.BigDecimal>).
exitAddRelation(SClassParser.AddRelationContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.addRelation(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddRelation(SClassParser.AddRelationContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.addRelation(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddRelations(SClassParser.AddRelationsContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.addRelations(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddRelations(SClassParser.AddRelationsContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.addRelations(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.DeficiencyNode>).
exitAddToIdDom(CClassParser.AddToIdDomContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.addToIdDom(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAddToIdDom(CClassParser.AddToIdDomContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.addToIdDom(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitAppendFormula(CClassParser.AppendFormulaContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.appendFormula(java.lang.String, java.lang.StringBuffer).
exitAppendFormula(CClassParser.AppendFormulaContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.appendFormula(java.lang.String, java.lang.StringBuffer).
exitAppendOp(CClassParser.AppendOpContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.appendOp(java.lang.StringBuffer).
exitAppendOp(CClassParser.AppendOpContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.appendOp(java.lang.StringBuffer).
exitAppendToken(CClassParser.AppendTokenContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.appendToken(java.lang.String, java.lang.StringBuffer, java.lang.String).
exitAppendToken(CClassParser.AppendTokenContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.appendToken(java.lang.String, java.lang.StringBuffer, java.lang.String).
exitCClass(CClassParser.CClassContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.cClass.
exitCClass(CClassParser.CClassContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.cClass.
exitCompFormula(FormulaParser.CompFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.compFormula().
exitCompFormula(FormulaParser.CompFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.compFormula().
exitComponent(CClassParser.ComponentContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.component(java.util.Map<java.lang.String, eu.simuline.relana.model.CClassLink>).
exitComponent(CClassParser.ComponentContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.component(java.util.Map<java.lang.String, eu.simuline.relana.model.CClassLink>).
exitComponents(CClassParser.ComponentsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.components().
exitComponents(CClassParser.ComponentsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.components().
exitConstFormula(FormulaParser.ConstFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.constFormula().
exitConstFormula(FormulaParser.ConstFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.constFormula().
exitEffect(CClassParser.EffectContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.effect(java.util.Map<java.lang.String, eu.simuline.relana.model.CClass.SClassDecl>, java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
exitEffect(CClassParser.EffectContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.effect(java.util.Map<java.lang.String, eu.simuline.relana.model.CClass.SClassDecl>, java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
exitEffects(CClassParser.EffectsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.effects(java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
exitEffects(CClassParser.EffectsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.effects(java.util.Map<java.lang.String, eu.simuline.relana.parser.CClassParser.FormulaWrapper>).
exitEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.CClassBaseListener
exitEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener
exitEveryRule(ParserRuleContext) - Method in class eu.simuline.relana.parser.SClassBaseListener
exitFormula(FormulaParser.FormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.formula().
exitFormula(FormulaParser.FormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.formula().
exitGetCheckedDeficiencies(SClassParser.GetCheckedDeficienciesContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.getCheckedDeficiencies(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitGetCheckedDeficiencies(SClassParser.GetCheckedDeficienciesContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.getCheckedDeficiencies(java.util.Set<eu.simuline.relana.model.Deficiency>).
exitGetDeficiencies(SClassParser.GetDeficienciesContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.getDeficiencies().
exitGetDeficiencies(SClassParser.GetDeficienciesContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.getDeficiencies().
exitGetDistr(CClassParser.GetDistrContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.getDistr(eu.simuline.relana.model.SClass).
exitGetDistr(CClassParser.GetDistrContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.getDistr(eu.simuline.relana.model.SClass).
exitGetInnerCls(SClassParser.GetInnerClsContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.getInnerCls(eu.simuline.relana.model.SClass, java.util.Set<eu.simuline.relana.model.Deficiency>).
exitGetInnerCls(SClassParser.GetInnerClsContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.getInnerCls(eu.simuline.relana.model.SClass, java.util.Set<eu.simuline.relana.model.Deficiency>).
exitGetPath(CClassParser.GetPathContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.getPath().
exitGetPath(CClassParser.GetPathContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.getPath().
exitGetPath(SClassParser.GetPathContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.getPath().
exitGetPath(SClassParser.GetPathContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.getPath().
exitGetSuperClass(CClassParser.GetSuperClassContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.getSuperClass().
exitGetSuperClass(CClassParser.GetSuperClassContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.getSuperClass().
exitGetSuperClass(SClassParser.GetSuperClassContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.getSuperClass(java.util.Map<java.util.List<java.lang.String>, eu.simuline.relana.model.SClass>).
exitGetSuperClass(SClassParser.GetSuperClassContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.getSuperClass(java.util.Map<java.util.List<java.lang.String>, eu.simuline.relana.model.SClass>).
exitMaps(CClassParser.MapsContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.maps().
exitMaps(CClassParser.MapsContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.maps().
exitPath(FormulaParser.PathContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.path.
exitPath(FormulaParser.PathContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.path.
exitReplDistr(CClassParser.ReplDistrContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.replDistr(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.ProbDistr>, eu.simuline.relana.model.SClass).
exitReplDistr(CClassParser.ReplDistrContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.replDistr(java.util.Map<eu.simuline.relana.model.Deficiency, eu.simuline.relana.model.ProbDistr>, eu.simuline.relana.model.SClass).
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddDefContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.AddFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.FormulaParser.VarFormulaContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddPathContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
exitRule(ParseTreeListener) - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
exitSClass(SClassParser.SClassContext) - Method in class eu.simuline.relana.parser.SClassBaseListener: Exit a parse tree produced by SClassParser.sClass(eu.simuline.relana.model.ClassLocator, java.util.Map<eu.simuline.relana.model.ClassLocator, eu.simuline.relana.model.ClassLocator>).
exitSClass(SClassParser.SClassContext) - Method in interface eu.simuline.relana.parser.SClassListener: Exit a parse tree produced by SClassParser.sClass(eu.simuline.relana.model.ClassLocator, java.util.Map<eu.simuline.relana.model.ClassLocator, eu.simuline.relana.model.ClassLocator>).
exitSkipFormula(CClassParser.SkipFormulaContext) - Method in class eu.simuline.relana.parser.CClassBaseListener: Exit a parse tree produced by CClassParser.skipFormula().
exitSkipFormula(CClassParser.SkipFormulaContext) - Method in interface eu.simuline.relana.parser.CClassListener: Exit a parse tree produced by CClassParser.skipFormula().
exitVarFormula(FormulaParser.VarFormulaContext) - Method in class eu.simuline.relana.parser.FormulaBaseListener: Exit a parse tree produced by FormulaParser.varFormula().
exitVarFormula(FormulaParser.VarFormulaContext) - Method in interface eu.simuline.relana.parser.FormulaListener: Exit a parse tree produced by FormulaParser.varFormula().
ext - Variable in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
EXTENDS - Static variable in class eu.simuline.relana.parser.CClassLexer
EXTENDS - Static variable in class eu.simuline.relana.parser.CClassParser
EXTENDS - Static variable in class eu.simuline.relana.parser.SClassLexer
EXTENDS - Static variable in class eu.simuline.relana.parser.SClassParser
EXTENDS() - Method in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
EXTENDS() - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
extOrdering - Variable in class eu.simuline.relana.model.ProbDistr.Validator: Maps a deficiency to essentially a set of deficiencies it depends on.

F

fDecl - Variable in class eu.simuline.relana.parser.FormulaParser: 'Returned by constFormula, varFormula and compFormula.
filterProb(BigDecimal) - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
first - Variable in class eu.simuline.relana.parser.CClassParser.GetPathContext
first - Variable in class eu.simuline.relana.parser.FormulaParser.PathContext
first - Variable in class eu.simuline.relana.parser.SClassParser.GetPathContext
FlatCInstance - Class in eu.simuline.relana.model: Instance of Component.
FlatCInstance(Map<List<String>, SInstance>) - Constructor for class eu.simuline.relana.model.FlatCInstance
FlatCInstance.InstDef - Class in eu.simuline.relana.model: A container comprising an SInstance and of one of its minimal Deficiencys.
flatten() - Method in class eu.simuline.relana.model.CInstance
FLOAT - Static variable in class eu.simuline.relana.parser.CClassLexer
FLOAT - Static variable in class eu.simuline.relana.parser.CClassParser
FLOAT() - Method in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
floatT - Variable in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
form - Variable in class eu.simuline.relana.model.CClass.SClassDecl: An optional formula declaration; otherwise null.
form - Variable in class eu.simuline.relana.model.SInstance
formC - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
formT - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
formula - Variable in class eu.simuline.relana.parser.CClassParser.FormulaWrapper
formula() - Method in class eu.simuline.relana.parser.FormulaParser.AddFormulaContext
formula() - Method in class eu.simuline.relana.parser.FormulaParser
Formula - Class in eu.simuline.relana.expressions: Represents a formula which is either a constant, a variable or composed via an operator.
Formula() - Constructor for class eu.simuline.relana.expressions.Formula
Formula.Comp - Class in eu.simuline.relana.expressions: Represents a compound formula, i.e. one defined via an operation.
Formula.Const - Class in eu.simuline.relana.expressions: Represents a constant interpreted as atomic formula.
Formula.Var - Class in eu.simuline.relana.expressions: Represents a variable interpreted as atomic formula.
FormulaBaseListener - Class in eu.simuline.relana.parser: This class provides an empty implementation of FormulaListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
FormulaBaseListener() - Constructor for class eu.simuline.relana.parser.FormulaBaseListener
FormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.FormulaContext
FormulaDecl - Class in eu.simuline.relana.expressions: Represents a formula declaration which is either a constant, a variable or composed via an operator.
FormulaDecl() - Constructor for class eu.simuline.relana.expressions.FormulaDecl
FormulaDecl.Comp - Class in eu.simuline.relana.expressions: Represents composite formulae consisting of a operation FormulaDecl.Comp.oper and a set of arguments FormulaDecl.Comp.args.
FormulaDecl.Const - Class in eu.simuline.relana.expressions: Represents atomic formulae consisting of a constant only.
FormulaDecl.Var - Class in eu.simuline.relana.expressions: Represents atomic formulae consisting of a variable only.
FormulaLexer - Class in eu.simuline.relana.parser
FormulaLexer(CharStream) - Constructor for class eu.simuline.relana.parser.FormulaLexer
FormulaListener - Interface in eu.simuline.relana.parser: This interface defines a complete listener for a parse tree produced by FormulaParser.
FormulaParser - Class in eu.simuline.relana.parser
FormulaParser(TokenStream) - Constructor for class eu.simuline.relana.parser.FormulaParser
FormulaParser.AddFormulaContext - Class in eu.simuline.relana.parser
FormulaParser.CompFormulaContext - Class in eu.simuline.relana.parser
FormulaParser.ConstFormulaContext - Class in eu.simuline.relana.parser
FormulaParser.FormulaContext - Class in eu.simuline.relana.parser
FormulaParser.PathContext - Class in eu.simuline.relana.parser
FormulaParser.VarFormulaContext - Class in eu.simuline.relana.parser
FormulaWrapper(int, int, String) - Constructor for class eu.simuline.relana.parser.CClassParser.FormulaWrapper
foundCharAfterEndOfEndTag(char) - Method in class eu.simuline.relana.sys.Project
foundIllegalCharInTag(char) - Method in class eu.simuline.relana.sys.Project
foundMultipleAttribute(String, Object) - Method in class eu.simuline.relana.sys.Project
foundUnexpectedEndOfDocument() - Method in class eu.simuline.relana.sys.Project
funct - Variable in class eu.simuline.relana.expressions.Operation.Maps
Functor() - Constructor for enum eu.simuline.relana.expressions.Operation.Functor
funName - Variable in class eu.simuline.relana.expressions.Operation.Maps
funT - Variable in class eu.simuline.relana.parser.CClassParser.AppendOpContext

G

get(Deficiency) - Method in class eu.simuline.relana.model.ProbDistr.Validator
get(String) - Static method in enum eu.simuline.relana.model.CClass.SClassModifier: Gets the class modifier with the given name.
getATN() - Method in class eu.simuline.relana.parser.CClassLexer
getATN() - Method in class eu.simuline.relana.parser.CClassParser
getATN() - Method in class eu.simuline.relana.parser.FormulaLexer
getATN() - Method in class eu.simuline.relana.parser.FormulaParser
getATN() - Method in class eu.simuline.relana.parser.SClassLexer
getATN() - Method in class eu.simuline.relana.parser.SClassParser
getBaseClass() - Method in class eu.simuline.relana.sys.Project
getBaseClass() - Method in interface eu.simuline.relana.sys.ProjectDesc: Describe getLocator method here.
getCClass(ClassLocator) - Method in class eu.simuline.relana.parser.CClassParser
getCClass(String, Package, CClass, Map<String, MapDecl>, Map<String, CClassLink>, Map<String, CClass.SClassDecl>) - Static method in class eu.simuline.relana.model.CClass: The location of the description of this class within the library.
getChannelNames() - Method in class eu.simuline.relana.parser.CClassLexer
getChannelNames() - Method in class eu.simuline.relana.parser.FormulaLexer
getChannelNames() - Method in class eu.simuline.relana.parser.SClassLexer
getCheckedDeficiencies() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
getCheckedDeficiencies(Set<Deficiency>) - Method in class eu.simuline.relana.parser.SClassParser
GetCheckedDeficienciesContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
GetCheckedDeficienciesContext(ParserRuleContext, int, Set<Deficiency>) - Constructor for class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
getComp(Operation, Set<FormulaDecl>) - Static method in class eu.simuline.relana.expressions.FormulaDecl
getComponentCls(String) - Method in class eu.simuline.relana.model.CClass
getComponentCls(List<String>) - Method in class eu.simuline.relana.model.CClass
getComponentNames() - Method in class eu.simuline.relana.model.CClass
getCone(Deficiency) - Method in class eu.simuline.relana.expressions.Type
getConst() - Method in class eu.simuline.relana.expressions.Formula.Comp
getConst() - Method in class eu.simuline.relana.expressions.Formula.Const
getConst() - Method in class eu.simuline.relana.expressions.Formula: Returns the constant represented by this formula, if any.
getConst() - Method in class eu.simuline.relana.expressions.Formula.Var
getConst(Type, Set<Deficiency>) - Static method in class eu.simuline.relana.expressions.FormulaDecl
getDeclaredDeficiency2ordering() - Method in class eu.simuline.relana.model.SClass
getDeclaredInnerClass(Deficiency) - Method in class eu.simuline.relana.model.SClass
getDeclaredInnerClasses() - Method in class eu.simuline.relana.model.SClass
getDeficiencies() - Method in class eu.simuline.relana.parser.SClassParser
getDeficiencies() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
GetDeficienciesContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
getDeficiency() - Method in class eu.simuline.relana.model.DeficiencyNode
getDeficiency() - Method in class eu.simuline.relana.model.DeficiencySetNode: Returns the Deficiency to be resolved.
getDeficiency2ordering() - Method in class eu.simuline.relana.expressions.Type
getDeficiencyMap() - Method in class eu.simuline.relana.model.SClass
getDeficiencySet() - Method in class eu.simuline.relana.model.DeficiencySetNode: Returns the set of elementary Deficiencys resolving DeficiencySetNode.deficiency.
getDistr() - Method in class eu.simuline.relana.model.SInstance
getDistr() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
getDistr() - Method in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
getDistr(SClass) - Method in class eu.simuline.relana.parser.CClassParser
GetDistrContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.GetDistrContext
GetDistrContext(ParserRuleContext, int, SClass) - Constructor for class eu.simuline.relana.parser.CClassParser.GetDistrContext
getDomain() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the domain of this map.
getEffect(InstanceLocator) - Method in class eu.simuline.relana.model.FlatCInstance
getEffect(List<String>) - Method in class eu.simuline.relana.model.CInstance
getEffect(List<String>) - Method in class eu.simuline.relana.model.FlatCInstance
getEffectDecl(String) - Method in class eu.simuline.relana.model.CClass
getEffectDecl(List<String>) - Method in class eu.simuline.relana.model.CClass
getEffectNames() - Method in class eu.simuline.relana.model.CClass
getEffects() - Method in class eu.simuline.relana.model.CInstance
getEffects() - Method in class eu.simuline.relana.model.FlatCInstance
getEffectsRec() - Method in class eu.simuline.relana.model.CClass
getEmpty() - Static method in class eu.simuline.relana.expressions.Type
getEval(Type) - Method in class eu.simuline.relana.expressions.Operation.CompOp
getEval(Type) - Method in class eu.simuline.relana.expressions.Operation
getEval(Type) - Method in class eu.simuline.relana.expressions.Operation.IntsOp
getEval(Type) - Method in class eu.simuline.relana.expressions.Operation.Maps
getEval(Type) - Method in class eu.simuline.relana.expressions.Operation.UnionOp
getFormula() - Method in class eu.simuline.relana.model.SInstance
getFormula(Operation.Eval, Set<Formula>) - Static method in class eu.simuline.relana.expressions.Formula
getFormulaDecl() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns the formula if any; otherwise null.
getFormulaStart() - Method in class eu.simuline.relana.parser.FormulaParser: Returns the all in all formula invoking rule 'formula'.
getGrammarFileName() - Method in class eu.simuline.relana.parser.CClassLexer
getGrammarFileName() - Method in class eu.simuline.relana.parser.CClassParser
getGrammarFileName() - Method in class eu.simuline.relana.parser.FormulaLexer
getGrammarFileName() - Method in class eu.simuline.relana.parser.FormulaParser
getGrammarFileName() - Method in class eu.simuline.relana.parser.SClassLexer
getGrammarFileName() - Method in class eu.simuline.relana.parser.SClassParser
getInnerCls() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
getInnerCls(SClass, Set<Deficiency>) - Method in class eu.simuline.relana.parser.SClassParser
GetInnerClsContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
GetInnerClsContext(ParserRuleContext, int, SClass, Set<Deficiency>) - Constructor for class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
getInstance() - Method in class eu.simuline.relana.model.CClass: Returns an instance of this class.
getInverse() - Method in class eu.simuline.relana.expressions.Type
getInverse() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the inverse of this map provided it exists.
getInverse() - Method in class eu.simuline.relana.model.DeficiencyNode
getInverseImage(Deficiency) - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the inverse image of the given deficiency with respect to this map.
getLibrary() - Method in class eu.simuline.relana.sys.Project
getLibrary() - Method in interface eu.simuline.relana.sys.ProjectDesc: Describe getLibrary method here.
getLoc() - Method in class eu.simuline.relana.model.CClassLoader.Occurrence
getLocation() - Method in class eu.simuline.relana.parser.CClassParser: Returns a string comprising the current class, the number of the current line and column, the last token successfully read and the token tp be read next.
getLocation() - Method in class eu.simuline.relana.parser.FormulaParser: Returns a string comprising the current class, the number of the current line and column, the last token successfully read and the token tp be read next.
getLocator(String) - Static method in class eu.simuline.relana.model.ClassLocator
getLocator(String) - Static method in class eu.simuline.relana.model.InstanceLocator
getLocator(List<String>) - Static method in class eu.simuline.relana.model.ClassLocator
getLocator(List<String>) - Static method in class eu.simuline.relana.model.InstanceLocator
getMap() - Method in class eu.simuline.relana.expressions.Operation.Maps
getMap() - Method in class eu.simuline.relana.model.MapDecl
getMap(Map<Deficiency, SClass>) - Static method in class eu.simuline.relana.model.SClass: Converts a map from the overwritten deficiencies to the overwriting classes, to a map from the set of deficiencies in the class back to the original deficiency.
getMapDecl(String) - Method in class eu.simuline.relana.model.CClass: Returns the map declaration with the given name.
getMax() - Method in class eu.simuline.relana.expressions.Formula.Comp
getMax() - Method in class eu.simuline.relana.expressions.Formula.Const
getMax() - Method in class eu.simuline.relana.expressions.Formula
getMax() - Method in class eu.simuline.relana.expressions.Formula.Var
getMax() - Method in class eu.simuline.relana.expressions.Type
getMaxDefic() - Method in class eu.simuline.relana.model.SClass
getMin() - Method in class eu.simuline.relana.expressions.Formula.Comp
getMin() - Method in class eu.simuline.relana.expressions.Formula.Const
getMin() - Method in class eu.simuline.relana.expressions.Formula
getMin() - Method in class eu.simuline.relana.expressions.Formula.Var
getMin() - Method in class eu.simuline.relana.expressions.Type
getMin() - Method in class eu.simuline.relana.model.SInstance
getMinDefic() - Method in class eu.simuline.relana.model.SClass
getMinDeficN() - Method in class eu.simuline.relana.model.SClass
getModeNames() - Method in class eu.simuline.relana.parser.CClassLexer
getModeNames() - Method in class eu.simuline.relana.parser.FormulaLexer
getModeNames() - Method in class eu.simuline.relana.parser.SClassLexer
getName() - Method in class eu.simuline.relana.model.CClass: Returns the short name of this class.
getName() - Method in class eu.simuline.relana.model.CClass.SClassDecl
getName() - Method in interface eu.simuline.relana.model.CClassLink
getName() - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
getName() - Method in class eu.simuline.relana.model.ClassLocator
getName() - Method in class eu.simuline.relana.model.Deficiency
getName() - Method in class eu.simuline.relana.model.Package: Returns the name of this package.
getName() - Method in class eu.simuline.relana.model.SClass
getName() - Method in class eu.simuline.relana.model.SInstance
getName2ComponentClss() - Method in class eu.simuline.relana.model.CClass: Returns the map between names and subcomponent classes.
getName2Effects() - Method in class eu.simuline.relana.model.CClass
getOperation() - Method in enum eu.simuline.relana.expressions.Operation.BaseOps
getOperation() - Method in interface eu.simuline.relana.expressions.Operation.Eval
getOperation() - Method in class eu.simuline.relana.expressions.Operation.IntsOp
getOperation() - Method in class eu.simuline.relana.expressions.Operation.Maps
getOperation() - Method in class eu.simuline.relana.expressions.Operation.UnionOp
getOperation(Operation.BaseOps) - Static method in class eu.simuline.relana.expressions.Operation
getOperation(String) - Static method in enum eu.simuline.relana.expressions.Operation.BaseOps
getOperation(String, boolean, DeficiencyMap, Operation.Functor) - Static method in class eu.simuline.relana.expressions.Operation
getOutputEffects() - Method in class eu.simuline.relana.sys.Project
getOutputEffects() - Method in interface eu.simuline.relana.sys.ProjectDesc: Describe getOutputEffects method here.
getPackage() - Method in class eu.simuline.relana.model.CClass: Returns the package of this class.
getPackage() - Method in class eu.simuline.relana.model.ClassLocator
getPackage() - Method in class eu.simuline.relana.model.SClass
getPackage(List<String>) - Static method in class eu.simuline.relana.model.Package: Returns the Package with the given path.
getPath() - Method in class eu.simuline.relana.model.ClassLocator
getPath() - Method in class eu.simuline.relana.model.InstanceLocator: Returns the wrapped path as an unmodifiable list.
getPath() - Method in class eu.simuline.relana.model.Package: Returns the path of this package.
getPath() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
getPath() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
getPath() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
getPath() - Method in class eu.simuline.relana.parser.CClassParser
getPath() - Method in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
getPath() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
getPath() - Method in class eu.simuline.relana.parser.SClassParser.AddPathContext
getPath() - Method in class eu.simuline.relana.parser.SClassParser
getPath() - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
getPath() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
getPath(int) - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
GetPathContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.GetPathContext
GetPathContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.GetPathContext
getPathName() - Method in class eu.simuline.relana.model.Package
getPathName() - Method in class eu.simuline.relana.model.SClass
getPredecessors() - Method in class eu.simuline.relana.model.DeficiencyNode
getProb(Deficiency) - Method in class eu.simuline.relana.model.ProbDistr
getProb(List<String>) - Method in class eu.simuline.relana.model.FlatCInstance: Returns the probability that the effect specified by sPath is not the empty set.
getProb(Map<Deficiency, BigDecimal>) - Method in class eu.simuline.relana.model.DeficiencySetNode: Returns the probability of the wrapped deficiency DeficiencySetNode.deficiency if replaced by the set DeficiencySetNode.deficiencySet of deficiencies which are assumed to be independent.
getProb(Set<Deficiency>) - Method in class eu.simuline.relana.model.ProbDistr.Validator
getProbDistr() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns the probability distribution if any; otherwise null.
getRange() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the range of this map.
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AddDefContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.ComponentsContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.EffectsContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
getRuleIndex() - Method in class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.AddFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
getRuleIndex() - Method in class eu.simuline.relana.parser.FormulaParser.VarFormulaContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.AddPathContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
getRuleIndex() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
getRuleNames() - Method in class eu.simuline.relana.parser.CClassLexer
getRuleNames() - Method in class eu.simuline.relana.parser.CClassParser
getRuleNames() - Method in class eu.simuline.relana.parser.FormulaLexer
getRuleNames() - Method in class eu.simuline.relana.parser.FormulaParser
getRuleNames() - Method in class eu.simuline.relana.parser.SClassLexer
getRuleNames() - Method in class eu.simuline.relana.parser.SClassParser
getSClass() - Method in class eu.simuline.relana.model.CClass.SClassDecl
getSClass(ClassLocator, Map<ClassLocator, ClassLocator>) - Method in class eu.simuline.relana.parser.SClassParser
getSClass(String, Package, SClass, Map<Deficiency, SClass>, Map<Deficiency, DeficiencyNode>) - Static method in class eu.simuline.relana.model.SClass
getSerializedATN() - Method in class eu.simuline.relana.parser.CClassLexer
getSerializedATN() - Method in class eu.simuline.relana.parser.CClassParser
getSerializedATN() - Method in class eu.simuline.relana.parser.FormulaLexer
getSerializedATN() - Method in class eu.simuline.relana.parser.FormulaParser
getSerializedATN() - Method in class eu.simuline.relana.parser.SClassLexer
getSerializedATN() - Method in class eu.simuline.relana.parser.SClassParser
getSInstance() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns a effect according to this declaration.
getSource() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the source of this map.
getSubclassMap(Map<Set<Deficiency>, Deficiency>, SClass, SClass) - Static method in class eu.simuline.relana.model.DeficiencyMap
getSuccessors() - Method in class eu.simuline.relana.model.DeficiencyNode
getSuccsPreds(DeficiencyNode) - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
getSuperClass() - Method in class eu.simuline.relana.model.CClass: Returns the superclass of this class.
getSuperClass() - Method in class eu.simuline.relana.model.SClass
getSuperClass() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
getSuperClass() - Method in class eu.simuline.relana.parser.CClassParser
getSuperClass() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
getSuperClass(Map<List<String>, SClass>) - Method in class eu.simuline.relana.parser.SClassParser
GetSuperClassContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
GetSuperClassContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
GetSuperClassContext(ParserRuleContext, int, Map<List<String>, SClass>) - Constructor for class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
getSuperPackage() - Method in class eu.simuline.relana.model.Package: Returns the enclosing package of this package.
getSymbol() - Method in enum eu.simuline.relana.expressions.Operation.Functor
getTarget() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns the target of this map.
getTokenNames() - Method in class eu.simuline.relana.parser.CClassLexer: Deprecated.
getTokenNames() - Method in class eu.simuline.relana.parser.CClassParser: Deprecated.
getTokenNames() - Method in class eu.simuline.relana.parser.FormulaLexer: Deprecated.
getTokenNames() - Method in class eu.simuline.relana.parser.FormulaParser: Deprecated.
getTokenNames() - Method in class eu.simuline.relana.parser.SClassLexer: Deprecated.
getTokenNames() - Method in class eu.simuline.relana.parser.SClassParser: Deprecated.
getType() - Method in class eu.simuline.relana.model.ProbDistr
getType() - Method in class eu.simuline.relana.model.SClass
getType() - Method in class eu.simuline.relana.model.SInstance
getValidator(ProbDistr.Inverter) - Method in class eu.simuline.relana.model.ProbDistr
getVar(CClass.SClassDecl, List<String>) - Static method in class eu.simuline.relana.expressions.FormulaDecl
getVars() - Method in class eu.simuline.relana.expressions.Formula.Comp
getVars() - Method in class eu.simuline.relana.expressions.Formula.Const
getVars() - Method in class eu.simuline.relana.expressions.Formula
getVars() - Method in class eu.simuline.relana.expressions.Formula.Var
getVocabulary() - Method in class eu.simuline.relana.parser.CClassLexer
getVocabulary() - Method in class eu.simuline.relana.parser.CClassParser
getVocabulary() - Method in class eu.simuline.relana.parser.FormulaLexer
getVocabulary() - Method in class eu.simuline.relana.parser.FormulaParser
getVocabulary() - Method in class eu.simuline.relana.parser.SClassLexer
getVocabulary() - Method in class eu.simuline.relana.parser.SClassParser

H

hashCode() - Method in class eu.simuline.relana.expressions.Formula
hashCode() - Method in class eu.simuline.relana.expressions.FormulaDecl
hashCode() - Method in class eu.simuline.relana.expressions.Type
hashCode() - Method in class eu.simuline.relana.model.CClass.SClassDecl
hashCode() - Method in class eu.simuline.relana.model.CClassLoader.Occurrence
hashCode() - Method in class eu.simuline.relana.model.ClassLocator
hashCode() - Method in class eu.simuline.relana.model.Deficiency
hashCode() - Method in class eu.simuline.relana.model.DeficiencyNode
hashCode() - Method in class eu.simuline.relana.model.InstanceLocator
hashCode() - Method in class eu.simuline.relana.model.SClass
hashCode() - Method in class eu.simuline.relana.model.SInstance

I

idDom - Variable in class eu.simuline.relana.model.DeficiencyMap: The set of deficiencies mapped identically.
idDomain - Variable in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
IDDOMAIN - Static variable in class eu.simuline.relana.parser.CClassLexer
IDDOMAIN - Static variable in class eu.simuline.relana.parser.CClassParser
IDDOMAIN() - Method in class eu.simuline.relana.parser.CClassParser.AddToIdDomContext
identity(SClass) - Static method in class eu.simuline.relana.model.DeficiencyMap: Returns the identity map with the given source and target with full domain and range.
Identity - eu.simuline.relana.model.ProbDistr.Inverter
ignorableWhitespace(char[], int, int) - Method in class eu.simuline.relana.sys.Project
imgPC - Variable in class eu.simuline.relana.parser.CClassParser.AddMapContext
implies(Deficiency, Deficiency) - Method in class eu.simuline.relana.expressions.Type
IMPLIES - Static variable in class eu.simuline.relana.parser.SClassLexer
IMPLIES - Static variable in class eu.simuline.relana.parser.SClassParser
IMPLIES() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
incompEffects - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
incompEffects - Variable in class eu.simuline.relana.parser.CClassParser.EffectsContext
init(ProbDistr.Inverter, Stack<Deficiency>, Set<DeficiencyNode>) - Method in class eu.simuline.relana.model.ProbDistr: Describe init method here.
initMMDefics() - Method in class eu.simuline.relana.expressions.Type
innerPaths - Variable in class eu.simuline.relana.parser.SClassParser.AddPathContext
INPUT - eu.simuline.relana.model.CClass.SClassModifier
INPUT - Static variable in class eu.simuline.relana.parser.CClassLexer
INPUT - Static variable in class eu.simuline.relana.parser.CClassParser
INPUT() - Method in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
inputStream2tokenStream(InputStream) - Static method in class eu.simuline.relana.parser.CClassParser
inputStream2tokenStream(InputStream) - Static method in class eu.simuline.relana.parser.SClassParser
InstanceLocator - Class in eu.simuline.relana.model: Locates a class within a library.
InstanceLocator(List<String>) - Constructor for class eu.simuline.relana.model.InstanceLocator
InstDef(SInstance, Deficiency) - Constructor for class eu.simuline.relana.model.FlatCInstance.InstDef
instDefic(SInstance) - Method in class eu.simuline.relana.model.FlatCInstance: Maps the given effect which is given by a formula, onto an FlatCInstance.InstDef consisting of a variable with probability distribution occuring in the formula and its minimal deficiency.
INTERSECT - Static variable in class eu.simuline.relana.parser.CClassLexer
INTERSECT - Static variable in class eu.simuline.relana.parser.CClassParser
INTERSECT - Static variable in class eu.simuline.relana.parser.FormulaLexer
INTERSECT - Static variable in class eu.simuline.relana.parser.FormulaParser
INTERSECT() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
INTERSECT() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
Intersection - eu.simuline.relana.expressions.Operation.BaseOps
IntsOp() - Constructor for class eu.simuline.relana.expressions.Operation.IntsOp
INV - Static variable in class eu.simuline.relana.parser.CClassLexer
INV - Static variable in class eu.simuline.relana.parser.CClassParser
INV - Static variable in class eu.simuline.relana.parser.FormulaLexer
INV - Static variable in class eu.simuline.relana.parser.FormulaParser
INV() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
INV() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
invalids - Variable in class eu.simuline.relana.model.ProbDistr.Validator: The Deficiencys in the key set of ProbDistr.Validator.def2prob which map to a value greater than 1.
Invert - eu.simuline.relana.model.ProbDistr.Inverter
Inverter() - Constructor for enum eu.simuline.relana.model.ProbDistr.Inverter
invImgPC - Variable in class eu.simuline.relana.parser.CClassParser.AddMapContext
invT - Variable in class eu.simuline.relana.parser.CClassParser.AppendOpContext
invT - Variable in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
isAllowed(DeficiencyMap) - Method in enum eu.simuline.relana.expressions.Operation.Functor
isDegenerate() - Method in class eu.simuline.relana.model.ProbDistr.Validator
isInner() - Method in class eu.simuline.relana.model.SClass
isInput() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns whether this effect is declared as input.
isInverted - Variable in class eu.simuline.relana.expressions.Operation.Maps
isIsoAntitone() - Method in class eu.simuline.relana.expressions.Operation.CompOp
isIsoAntitone() - Method in class eu.simuline.relana.expressions.Operation.IntsOp
isIsoAntitone() - Method in class eu.simuline.relana.expressions.Operation
isIsoAntitone() - Method in class eu.simuline.relana.expressions.Operation.Maps
isIsoAntitone() - Method in class eu.simuline.relana.expressions.Operation.UnionOp
isIsotone() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns whether this map is isotone.
isOutput() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns whether this effect is declared as output.
isRedeclare - Variable in class eu.simuline.relana.model.CClass.SClassDecl: Whether this declaration is a redeclaration.
isRedeclare - Variable in class eu.simuline.relana.model.MapDecl
isRedeclare() - Method in class eu.simuline.relana.model.CClass.SClassDecl: Returns whether this is a redeclaration.
isResolved() - Method in class eu.simuline.relana.model.CClass
isResolved() - Method in interface eu.simuline.relana.model.CClassLink
isResolved() - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
isTwistIsotone() - Method in class eu.simuline.relana.model.DeficiencyMap: Returns whether this map is twist-isotone.
isValid() - Method in class eu.simuline.relana.model.ProbDistr.Validator
isValid(Set<Deficiency>) - Method in class eu.simuline.relana.expressions.Type: Returns whether the given set of deficiencies is allowed by this type.

K

KEY2OP - Static variable in enum eu.simuline.relana.expressions.Operation.BaseOps

L

library - Variable in class eu.simuline.relana.model.CClassLoader
library - Variable in class eu.simuline.relana.model.SClassLoader
library - Variable in class eu.simuline.relana.sys.Project
lineNumber - Variable in class eu.simuline.relana.parser.CClassParser.FormulaWrapper
lineNumber - Variable in class eu.simuline.relana.parser.FormulaParser
loadCClass(ClassLocator) - Method in class eu.simuline.relana.model.CClassLoader
loadCClass(ClassLocator, Package) - Method in class eu.simuline.relana.model.CClassLoader
loadSClass(ClassLocator, Package) - Method in class eu.simuline.relana.model.CClassLoader
loadSClass(ClassLocator, Package) - Method in class eu.simuline.relana.model.SClassLoader
loadSClass(ClassLocator, Package, Map<ClassLocator, ClassLocator>) - Method in class eu.simuline.relana.model.SClassLoader
loc - Variable in class eu.simuline.relana.model.CClassLoader.ClassResolver
loc - Variable in class eu.simuline.relana.model.CClassLoader.Occurrence
loc - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
loc - Variable in class eu.simuline.relana.parser.CClassParser
loc - Variable in class eu.simuline.relana.parser.FormulaParser
loc - Variable in class eu.simuline.relana.parser.SClassParser
loc - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext

M

main(String[]) - Static method in class eu.simuline.relana.expressions.Formula
main(String[]) - Static method in class eu.simuline.relana.model.DeficiencyMapTest: Runs the test case.
main(String[]) - Static method in class eu.simuline.relana.sys.Relana
main(String[]) - Static method in class eu.simuline.relana.sys.RelanaTest: Runs the test case.
map - Variable in class eu.simuline.relana.expressions.Operation.Maps
map - Variable in class eu.simuline.relana.model.MapDecl: The map declared here.
map - Variable in class eu.simuline.relana.model.SClass
map(Deficiency) - Method in class eu.simuline.relana.model.DeficiencyMap: Performs the mapping.
MAP - Static variable in class eu.simuline.relana.parser.CClassLexer
MAP - Static variable in class eu.simuline.relana.parser.CClassParser
MAP - Static variable in class eu.simuline.relana.parser.SClassLexer
MAP - Static variable in class eu.simuline.relana.parser.SClassParser
MAP() - Method in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
MapDecl - Class in eu.simuline.relana.model: Represents the declaration of a map.
MapDecl(boolean, String, Map<Set<Deficiency>, Deficiency>, SClass, SClass, Set<Deficiency>) - Constructor for class eu.simuline.relana.model.MapDecl
mapName - Variable in class eu.simuline.relana.model.MapDecl
maps - Variable in class eu.simuline.relana.model.CClass: The maps declared in this class.
maps() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
maps() - Method in class eu.simuline.relana.parser.CClassParser
Maps(String, boolean, DeficiencyMap, Operation.Functor) - Constructor for class eu.simuline.relana.expressions.Operation.Maps
MAPS - Static variable in class eu.simuline.relana.parser.CClassLexer
MAPS - Static variable in class eu.simuline.relana.parser.CClassParser
MAPS() - Method in class eu.simuline.relana.parser.CClassParser.MapsContext
MapsContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.MapsContext
MAPSTO - Static variable in class eu.simuline.relana.parser.CClassLexer
MAPSTO - Static variable in class eu.simuline.relana.parser.CClassParser
MAPSTO() - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
mapsXC - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
max - Variable in class eu.simuline.relana.expressions.Formula.Comp
maxDef - Variable in class eu.simuline.relana.model.SClass
maxDefs - Variable in class eu.simuline.relana.expressions.Type
min - Variable in class eu.simuline.relana.expressions.Formula.Comp
minDef - Variable in class eu.simuline.relana.model.SClass
minDefs - Variable in class eu.simuline.relana.expressions.Type
modeNames - Static variable in class eu.simuline.relana.parser.CClassLexer
modeNames - Static variable in class eu.simuline.relana.parser.FormulaLexer
modeNames - Static variable in class eu.simuline.relana.parser.SClassLexer
modifiers - Variable in class eu.simuline.relana.model.CClass.SClassDecl: The set of modifiers of this effect.
modT - Variable in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
MultiLineComment - Static variable in class eu.simuline.relana.parser.CClassLexer
MultiLineComment - Static variable in class eu.simuline.relana.parser.CClassParser
MultiLineComment - Static variable in class eu.simuline.relana.parser.FormulaLexer
MultiLineComment - Static variable in class eu.simuline.relana.parser.FormulaParser
MultiLineComment - Static variable in class eu.simuline.relana.parser.SClassLexer
MultiLineComment - Static variable in class eu.simuline.relana.parser.SClassParser

N

name - Variable in class eu.simuline.relana.expressions.Formula.Var
name - Variable in class eu.simuline.relana.model.CClass.SClassDecl: The name of this effect which must be unique within the keys of CClass.effects.
name - Variable in class eu.simuline.relana.model.ClassLocator: The name of the class to be located.
name - Variable in class eu.simuline.relana.model.Deficiency
name - Variable in class eu.simuline.relana.model.Package: The name of this package.
name - Variable in class eu.simuline.relana.model.SInstance
name - Variable in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
name - Variable in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
NAME - Static variable in class eu.simuline.relana.parser.CClassLexer
NAME - Static variable in class eu.simuline.relana.parser.CClassParser
NAME - Static variable in class eu.simuline.relana.parser.FormulaLexer
NAME - Static variable in class eu.simuline.relana.parser.FormulaParser
NAME - Static variable in class eu.simuline.relana.parser.SClassLexer
NAME - Static variable in class eu.simuline.relana.parser.SClassParser
NAME() - Method in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.AddDefContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.AddProbAllocContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
NAME() - Method in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
NAME() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
NAME() - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
NAME() - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
NAME() - Method in class eu.simuline.relana.parser.SClassParser.AddDeficiencyContext
NAME() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
NAME() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
NAME() - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
NAME() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
NAME(int) - Method in class eu.simuline.relana.parser.CClassParser.ComponentContext
NAME(int) - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
NAME(int) - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
NAME(int) - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
NAME(int) - Method in class eu.simuline.relana.parser.SClassParser.AddRelationContext
NAME(int) - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
name2class - Variable in class eu.simuline.relana.model.CClassLoader
name2class - Variable in class eu.simuline.relana.model.SClassLoader
name2map - Variable in class eu.simuline.relana.parser.CClassParser.AddMapContext
name2map - Variable in class eu.simuline.relana.parser.CClassParser.MapsContext
NAME2MOD - Static variable in enum eu.simuline.relana.model.CClass.SClassModifier: Maps the names of the modifiers in the ccl-files to the modifiers: input maps to CClass.SClassModifier.INPUT and output maps to CClass.SClassModifier.OUTPUT.
nameT - Variable in class eu.simuline.relana.parser.CClassParser.AddMapContext
neg() - Method in enum eu.simuline.relana.model.ProbDistr.Inverter
newDefs - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
newDefs - Variable in class eu.simuline.relana.parser.SClassParser.GetCheckedDeficienciesContext
newDefs - Variable in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
next - Variable in class eu.simuline.relana.parser.CClassParser.GetPathContext
next - Variable in class eu.simuline.relana.parser.FormulaParser.PathContext
next - Variable in class eu.simuline.relana.parser.SClassParser.GetPathContext

O

occurences - Variable in class eu.simuline.relana.model.CClassLoader.ClassResolver
Occurrence(ClassLocator, String) - Constructor for class eu.simuline.relana.model.CClassLoader.Occurrence
old2innerCls - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
old2innerCls - Variable in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
old2innerClsC - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
oldD - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
oldDef2innerClasses - Variable in class eu.simuline.relana.model.SClass
oldDefs - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
oper - Variable in class eu.simuline.relana.expressions.Formula.Comp
oper - Variable in class eu.simuline.relana.expressions.FormulaDecl.Comp
oper - Variable in enum eu.simuline.relana.expressions.Operation.BaseOps
Operation - Class in eu.simuline.relana.expressions: Represents the operations as intersection, union, complement, covariant and contravariant functors and maps.
Operation() - Constructor for class eu.simuline.relana.expressions.Operation
Operation.BaseOps - Enum in eu.simuline.relana.expressions: Comprises the basic set theoretic operations union, intersection and complement.
Operation.CompOp - Class in eu.simuline.relana.expressions: Defines the basic set theoretic complement.
Operation.Eval - Interface in eu.simuline.relana.expressions
Operation.Functor - Enum in eu.simuline.relana.expressions: Enumerates the kinds of functors covariant and contravariant ones
Operation.IntsOp - Class in eu.simuline.relana.expressions: Defines the basic set theoretic intersection.
Operation.Maps - Class in eu.simuline.relana.expressions: Represents an operation defined by a covariant/contravariant functor
Operation.UnionOp - Class in eu.simuline.relana.expressions: Defines the basic set theoretic union complement.
opT - Variable in class eu.simuline.relana.parser.CClassParser.AppendOpContext
opT - Variable in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
OUTPUT - eu.simuline.relana.model.CClass.SClassModifier
OUTPUT - Static variable in class eu.simuline.relana.parser.CClassLexer
OUTPUT - Static variable in class eu.simuline.relana.parser.CClassParser
OUTPUT() - Method in class eu.simuline.relana.parser.CClassParser.AddAccessModifierContext
outputEffects - Variable in class eu.simuline.relana.sys.Project

P

Package - Class in eu.simuline.relana.model: Represents a Package of a model class, no matter whether Effect or Component.
Package(String, Package) - Constructor for class eu.simuline.relana.model.Package
PACKAGE - Static variable in class eu.simuline.relana.parser.CClassLexer
PACKAGE - Static variable in class eu.simuline.relana.parser.CClassParser
PACKAGE - Static variable in class eu.simuline.relana.parser.SClassLexer
PACKAGE - Static variable in class eu.simuline.relana.parser.SClassParser
PACKAGE() - Method in class eu.simuline.relana.parser.CClassParser.CClassContext
PACKAGE() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
path - Variable in class eu.simuline.relana.expressions.FormulaDecl.Var
path - Variable in class eu.simuline.relana.model.InstanceLocator: The name of the class to be located.
path - Variable in class eu.simuline.relana.parser.FormulaParser: Represents a path.
path() - Method in class eu.simuline.relana.parser.FormulaParser.ConstFormulaContext
path() - Method in class eu.simuline.relana.parser.FormulaParser
path() - Method in class eu.simuline.relana.parser.FormulaParser.VarFormulaContext
PATH_CMP - Static variable in class eu.simuline.relana.model.FlatCInstance
pathC - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
pathC - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
PathContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.PathContext
paths2innerCls - Variable in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
pkg - Variable in class eu.simuline.relana.model.CClass: The package of this class.
pkg - Variable in class eu.simuline.relana.model.ClassLocator: The package of the class to be located.
pkg - Variable in class eu.simuline.relana.model.SClass: The package of this SClass.
pkgPathC - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
pkgPathC - Variable in class eu.simuline.relana.parser.SClassParser.AddPathContext
pkgPathC - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
post - Variable in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
pre - Variable in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
pre - Variable in class eu.simuline.relana.parser.CClassParser.AppendTokenContext
predecessors - Variable in class eu.simuline.relana.model.DeficiencyNode
ProbDistr - Class in eu.simuline.relana.model: Represents a probability distribution.
ProbDistr(Type, Map<Deficiency, ProbDistr>, Map<Deficiency, BigDecimal>) - Constructor for class eu.simuline.relana.model.ProbDistr
ProbDistr(Type, Map<Deficiency, BigDecimal>) - Constructor for class eu.simuline.relana.model.ProbDistr
ProbDistr.Inverter - Enum in eu.simuline.relana.model: Enumeration of inverters: the trivial inverter and the canonical inverter.
ProbDistr.Validator - Class in eu.simuline.relana.model: Contains some information on validity and degeneracy of a ProbDistr and also the fundamental figures to compute probabilities in case of validity and non-degenracy.
processingInstruction(String, String) - Method in class eu.simuline.relana.sys.Project
Project - Class in eu.simuline.relana.sys: Enables an xml parser to read a relana project file like src/test/resources/eu/simuline/relana/proj.rml serving both as ContentHandler and as ParseExceptionHandler as it implements ProjectDesc to hold the result of reading, i.e. the content.
Project() - Constructor for class eu.simuline.relana.sys.Project
ProjectDesc - Interface in eu.simuline.relana.sys: Represents a relana project as specified in a project file like src/test/resources/eu/simuline/relana/proj.rml.
PROPERTIES - Static variable in class eu.simuline.relana.parser.SClassLexer
PROPERTIES - Static variable in class eu.simuline.relana.parser.SClassParser
PROPERTIES() - Method in class eu.simuline.relana.parser.SClassParser.GetDeficienciesContext
put(Deficiency, DeficiencySetNode) - Method in class eu.simuline.relana.model.ProbDistr.Validator
put(Deficiency, BigDecimal) - Method in class eu.simuline.relana.model.ProbDistr.Validator

R

range - Variable in class eu.simuline.relana.model.DeficiencyMap: The elements of DeficiencyMap.target for which DeficiencyMap.getInverseImage(eu.simuline.relana.model.Deficiency) yields a non-empty result.
redeclare - Variable in class eu.simuline.relana.parser.CClassParser.AddMapContext
redeclare - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
REDECLARE - Static variable in class eu.simuline.relana.parser.CClassLexer
REDECLARE - Static variable in class eu.simuline.relana.parser.CClassParser
REDECLARE() - Method in class eu.simuline.relana.parser.CClassParser.AddMapContext
REDECLARE() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
Relana - Class in eu.simuline.relana.sys: Relana's main class containing the main method only.
Relana() - Constructor for class eu.simuline.relana.sys.Relana
RelanaTest - Class in eu.simuline.relana.sys: RelanaTest.java Created: Mon May 23 21:23:07 2005
RelanaTest() - Constructor for class eu.simuline.relana.sys.RelanaTest
RelanaTest.TestAll - Class in eu.simuline.relana.sys
RELATIONS - Static variable in class eu.simuline.relana.parser.SClassLexer
RELATIONS - Static variable in class eu.simuline.relana.parser.SClassParser
RELATIONS() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
RELATIONS() - Method in class eu.simuline.relana.parser.SClassParser.AddRelationsContext
remove(Deficiency) - Method in class eu.simuline.relana.expressions.Type
remove(Deficiency) - Method in class eu.simuline.relana.model.ProbDistr
remove(Deficiency) - Method in class eu.simuline.relana.model.SInstance: Returns the SInstance arising from this one by removing def in a way that means that def does not occur.
remove(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Comp
remove(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Const
remove(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula
remove(SInstance, Deficiency) - Method in class eu.simuline.relana.expressions.Formula.Var
remove(SInstance, Deficiency) - Method in class eu.simuline.relana.model.FlatCInstance: Returns the FlatCInstance arising from this one by assuming that def does not occur within serv.
remove(Map<Deficiency, DeficiencyNode>, Deficiency) - Method in class eu.simuline.relana.expressions.Type
removeAndAbove(Deficiency) - Method in class eu.simuline.relana.expressions.Type: Returns a copy of this type where the given Deficiency, and all Deficiencies above it are removed.
replace(Deficiency, Deficiency, Deficiency, Type) - Method in class eu.simuline.relana.expressions.Type
REPLACE - Static variable in class eu.simuline.relana.parser.CClassLexer
REPLACE - Static variable in class eu.simuline.relana.parser.CClassParser
REPLACE - Static variable in class eu.simuline.relana.parser.SClassLexer
REPLACE - Static variable in class eu.simuline.relana.parser.SClassParser
REPLACE() - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
REPLACE() - Method in class eu.simuline.relana.parser.SClassParser.AddMapContext
REPLACE(int) - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
replDefT - Variable in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
replDistr() - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
replDistr(int) - Method in class eu.simuline.relana.parser.CClassParser.GetDistrContext
replDistr(Map<Deficiency, ProbDistr>, SClass) - Method in class eu.simuline.relana.parser.CClassParser
ReplDistrContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.ReplDistrContext
ReplDistrContext(ParserRuleContext, int, Map<Deficiency, ProbDistr>, SClass) - Constructor for class eu.simuline.relana.parser.CClassParser.ReplDistrContext
report(String) - Method in class eu.simuline.relana.parser.CClassParser: Reports an error and also the location where it occurred. **** same as in SClassParser ****
report(String) - Method in class eu.simuline.relana.parser.FormulaParser: Reports an error and also the location where it occurred. **** same as in SClassParser ****
report(String) - Method in class eu.simuline.relana.parser.SClassParser: Reports an error and also the location where it occurred.
report(Token, String) - Method in class eu.simuline.relana.parser.CClassParser
res - Variable in class eu.simuline.relana.parser.CClassParser.AppendFormulaContext
res - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
res - Variable in class eu.simuline.relana.parser.CClassParser.GetPathContext
res - Variable in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
res - Variable in class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
res - Variable in class eu.simuline.relana.parser.SClassParser.AddMapContext
res - Variable in class eu.simuline.relana.parser.SClassParser.GetPathContext
res - Variable in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext
res - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
resolvationPoints() - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
resolve(CInstance) - Method in class eu.simuline.relana.expressions.FormulaDecl.Comp
resolve(CInstance) - Method in class eu.simuline.relana.expressions.FormulaDecl.Const
resolve(CInstance) - Method in class eu.simuline.relana.expressions.FormulaDecl
resolve(CInstance) - Method in class eu.simuline.relana.expressions.FormulaDecl.Var
resolveLocInOcc(ClassLocator, CClassLoader.Occurrence) - Method in class eu.simuline.relana.model.CClassLoader
resolveLocInOcc(ClassLocator, ClassLocator, String) - Method in class eu.simuline.relana.model.CClassLoader
resolveSClass(ClassLocator, Map<ClassLocator, ClassLocator>) - Method in class eu.simuline.relana.model.SClassLoader
retType() - Method in class eu.simuline.relana.expressions.FormulaDecl.Comp
retType() - Method in class eu.simuline.relana.expressions.FormulaDecl.Const
retType() - Method in class eu.simuline.relana.expressions.FormulaDecl
retType() - Method in class eu.simuline.relana.expressions.FormulaDecl.Var
retType(Set<FormulaDecl>) - Method in class eu.simuline.relana.expressions.Operation.CompOp
retType(Set<FormulaDecl>) - Method in class eu.simuline.relana.expressions.Operation.IntsOp
retType(Set<FormulaDecl>) - Method in class eu.simuline.relana.expressions.Operation.Maps
retType(Set<FormulaDecl>) - Method in class eu.simuline.relana.expressions.Operation
retType(Set<FormulaDecl>) - Method in class eu.simuline.relana.expressions.Operation.UnionOp
retType(Set<FormulaDecl>, Operation.Maps) - Method in enum eu.simuline.relana.expressions.Operation.Functor
ROOT - Static variable in class eu.simuline.relana.model.DeficiencyMapTest
ROOT - Static variable in class eu.simuline.relana.model.Package
ROOT - Static variable in class eu.simuline.relana.sys.RelanaTest
RULE_add2DefMap - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_addAccessModifier - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_addDef - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_addDeficiency - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_addFormula - Static variable in class eu.simuline.relana.parser.FormulaParser
RULE_addMap - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_addMap - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_addPath - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_addProbAlloc - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_addRelation - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_addRelations - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_addToIdDom - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_appendFormula - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_appendOp - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_appendToken - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_cClass - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_compFormula - Static variable in class eu.simuline.relana.parser.FormulaParser
RULE_component - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_components - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_constFormula - Static variable in class eu.simuline.relana.parser.FormulaParser
RULE_effect - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_effects - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_formula - Static variable in class eu.simuline.relana.parser.FormulaParser
RULE_getCheckedDeficiencies - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_getDeficiencies - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_getDistr - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_getInnerCls - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_getPath - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_getPath - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_getSuperClass - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_getSuperClass - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_maps - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_path - Static variable in class eu.simuline.relana.parser.FormulaParser
RULE_replDistr - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_sClass - Static variable in class eu.simuline.relana.parser.SClassParser
RULE_skipFormula - Static variable in class eu.simuline.relana.parser.CClassParser
RULE_varFormula - Static variable in class eu.simuline.relana.parser.FormulaParser
ruleNames - Static variable in class eu.simuline.relana.parser.CClassLexer
ruleNames - Static variable in class eu.simuline.relana.parser.CClassParser
ruleNames - Static variable in class eu.simuline.relana.parser.FormulaLexer
ruleNames - Static variable in class eu.simuline.relana.parser.FormulaParser
ruleNames - Static variable in class eu.simuline.relana.parser.SClassLexer
ruleNames - Static variable in class eu.simuline.relana.parser.SClassParser

S

sClass - Variable in class eu.simuline.relana.model.CClass.SClassDecl: The class of this effect.
sClass - Variable in class eu.simuline.relana.parser.CClassParser.GetDistrContext
sClass - Variable in class eu.simuline.relana.parser.CClassParser.ReplDistrContext
sClass(ClassLocator, Map<ClassLocator, ClassLocator>) - Method in class eu.simuline.relana.parser.SClassParser
SClass - Class in eu.simuline.relana.model: Describes classes of Effects ('services').
SClass() - Constructor for class eu.simuline.relana.model.SClass
SClass(String, Package, SClass, Map<Deficiency, SClass>, Map<Deficiency, DeficiencyNode>) - Constructor for class eu.simuline.relana.model.SClass
SCLASS - Static variable in class eu.simuline.relana.parser.SClassLexer
SCLASS - Static variable in class eu.simuline.relana.parser.SClassParser
SCLASS() - Method in class eu.simuline.relana.parser.SClassParser.SClassContext
SClassBaseListener - Class in eu.simuline.relana.parser: This class provides an empty implementation of SClassListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
SClassBaseListener() - Constructor for class eu.simuline.relana.parser.SClassBaseListener
SClassContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.SClassParser.SClassContext
SClassContext(ParserRuleContext, int, ClassLocator, Map<ClassLocator, ClassLocator>) - Constructor for class eu.simuline.relana.parser.SClassParser.SClassContext
SClassDecl(boolean, Set<CClass.SClassModifier>, SClass, String, ProbDistr) - Constructor for class eu.simuline.relana.model.CClass.SClassDecl: Creates a new SClassDecl instance without formula.
SClassLexer - Class in eu.simuline.relana.parser
SClassLexer(CharStream) - Constructor for class eu.simuline.relana.parser.SClassLexer
SClassListener - Interface in eu.simuline.relana.parser: This interface defines a complete listener for a parse tree produced by SClassParser.
SClassLoader - Class in eu.simuline.relana.model: SClassLoader for SClasses.
SClassLoader(URL) - Constructor for class eu.simuline.relana.model.SClassLoader
SClassModifier() - Constructor for enum eu.simuline.relana.model.CClass.SClassModifier
sClassName - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
SClassParser - Class in eu.simuline.relana.parser
SClassParser(InputStream) - Constructor for class eu.simuline.relana.parser.SClassParser
SClassParser(TokenStream) - Constructor for class eu.simuline.relana.parser.SClassParser
SClassParser.AddDeficiencyContext - Class in eu.simuline.relana.parser
SClassParser.AddMapContext - Class in eu.simuline.relana.parser
SClassParser.AddPathContext - Class in eu.simuline.relana.parser
SClassParser.AddRelationContext - Class in eu.simuline.relana.parser
SClassParser.AddRelationsContext - Class in eu.simuline.relana.parser
SClassParser.GetCheckedDeficienciesContext - Class in eu.simuline.relana.parser
SClassParser.GetDeficienciesContext - Class in eu.simuline.relana.parser
SClassParser.GetInnerClsContext - Class in eu.simuline.relana.parser
SClassParser.GetPathContext - Class in eu.simuline.relana.parser
SClassParser.GetSuperClassContext - Class in eu.simuline.relana.parser
SClassParser.SClassContext - Class in eu.simuline.relana.parser
scLoader - Variable in class eu.simuline.relana.model.CClassLoader
SEP - Static variable in class eu.simuline.relana.parser.CClassLexer
SEP - Static variable in class eu.simuline.relana.parser.CClassParser
SEP - Static variable in class eu.simuline.relana.parser.FormulaLexer
SEP - Static variable in class eu.simuline.relana.parser.FormulaParser
SEP - Static variable in class eu.simuline.relana.parser.SClassLexer
SEP - Static variable in class eu.simuline.relana.parser.SClassParser
SEP() - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
SEP() - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
SEP() - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
SEP(int) - Method in class eu.simuline.relana.parser.CClassParser.GetPathContext
SEP(int) - Method in class eu.simuline.relana.parser.FormulaParser.PathContext
SEP(int) - Method in class eu.simuline.relana.parser.SClassParser.GetPathContext
serialVersionUID - Static variable in exception eu.simuline.relana.model.VerifyException
serv - Variable in class eu.simuline.relana.model.FlatCInstance.InstDef
setCClass(CClass) - Method in class eu.simuline.relana.parser.FormulaParser: Sets the CClass for the class currently parsed but without formulae.
setClassLoader(CClassLoader) - Method in class eu.simuline.relana.parser.CClassParser: To set the CClassLoader.
setClassLoader(CClassLoader) - Method in class eu.simuline.relana.parser.FormulaParser: To set the CClassLoader.
setClassLoader(SClassLoader) - Method in class eu.simuline.relana.parser.SClassParser: To set the SClassLoader.
setComponent(String, CClass) - Method in class eu.simuline.relana.model.CClass
setComponent(String, CClass) - Method in interface eu.simuline.relana.model.CClassLink
setComponent(String, CClass) - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
setDocumentLocator(Locator) - Method in class eu.simuline.relana.sys.Project
setFormula(Formula) - Method in class eu.simuline.relana.model.SInstance
setFormula(FormulaDecl) - Method in class eu.simuline.relana.model.CClass.SClassDecl: Sets the given formula form and checks consistency; may throw various exceptions.
setLineColNum(int, int) - Method in class eu.simuline.relana.parser.FormulaParser
setLocator(ClassLocator) - Method in class eu.simuline.relana.parser.FormulaParser: Sets the locator for the class currently parsed.
setOfNew2old - Variable in class eu.simuline.relana.model.DeficiencyMap: The set of deficiencies all mapped to the same deficiency.
setOfNew2old - Variable in class eu.simuline.relana.model.MapDecl
setOfSrc2targ - Variable in class eu.simuline.relana.parser.CClassParser.Add2DefMapContext
SingleLineComment - Static variable in class eu.simuline.relana.parser.CClassLexer
SingleLineComment - Static variable in class eu.simuline.relana.parser.CClassParser
SingleLineComment - Static variable in class eu.simuline.relana.parser.FormulaLexer
SingleLineComment - Static variable in class eu.simuline.relana.parser.FormulaParser
SingleLineComment - Static variable in class eu.simuline.relana.parser.SClassLexer
SingleLineComment - Static variable in class eu.simuline.relana.parser.SClassParser
SInstance - Class in eu.simuline.relana.model: Represents the instance of an SClass.
SInstance(Type, ProbDistr, String) - Constructor for class eu.simuline.relana.model.SInstance
SInstance(SInstance) - Constructor for class eu.simuline.relana.model.SInstance
skipFormula() - Method in class eu.simuline.relana.parser.CClassParser.EffectContext
skipFormula() - Method in class eu.simuline.relana.parser.CClassParser
SkipFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.CClassParser.SkipFormulaContext
skippedEntity(String) - Method in class eu.simuline.relana.sys.Project
sName - Variable in class eu.simuline.relana.model.SClass: The name of this SClass.
sNameT - Variable in class eu.simuline.relana.parser.CClassParser.EffectContext
source - Variable in class eu.simuline.relana.model.DeficiencyMap: The source of this map.
source - Variable in class eu.simuline.relana.model.MapDecl
source(DeficiencyMap) - Method in enum eu.simuline.relana.expressions.Operation.Functor
startDocument() - Method in class eu.simuline.relana.sys.Project
startElement(String, String, String, Attributes) - Method in class eu.simuline.relana.sys.Project
startPrefixMapping(String, String) - Method in class eu.simuline.relana.sys.Project
subclassDep - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
subclassDep - Variable in class eu.simuline.relana.parser.SClassParser
subComponents - Variable in class eu.simuline.relana.model.CClass: Maps the names of the subcomponents to their classes.
subPackage(String) - Method in class eu.simuline.relana.model.Package
subPackages - Variable in class eu.simuline.relana.model.Package: Maps the names of the subPackages to the subPackages.
substitute(SInstance, Formula) - Method in class eu.simuline.relana.expressions.Formula.Comp
substitute(SInstance, Formula) - Method in class eu.simuline.relana.expressions.Formula.Const
substitute(SInstance, Formula) - Method in class eu.simuline.relana.expressions.Formula
substitute(SInstance, Formula) - Method in class eu.simuline.relana.expressions.Formula.Var
substitute(SInstance, Formula) - Method in class eu.simuline.relana.model.FlatCInstance: Returns the FlatCInstance arising from this one by substituting serv by form in all effects.
substitute(SInstance, Formula) - Method in class eu.simuline.relana.model.SInstance
successors - Variable in class eu.simuline.relana.model.DeficiencyNode
superclass - Variable in class eu.simuline.relana.parser.SClassParser.GetInnerClsContext
superClass - Variable in class eu.simuline.relana.model.CClass: The unique superclass of this class.
superClass - Variable in class eu.simuline.relana.model.SClass: The superclass of this SClass.
superclassC - Variable in class eu.simuline.relana.parser.SClassParser.SClassContext
superClassC - Variable in class eu.simuline.relana.parser.CClassParser.CClassContext
superPackage - Variable in class eu.simuline.relana.model.Package: The unique package containing this one.
superPathC - Variable in class eu.simuline.relana.parser.CClassParser.GetSuperClassContext
superPathC - Variable in class eu.simuline.relana.parser.SClassParser.GetSuperClassContext

T

T__0 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__0 - Static variable in class eu.simuline.relana.parser.CClassParser
T__0 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__0 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__0 - Static variable in class eu.simuline.relana.parser.SClassLexer
T__0 - Static variable in class eu.simuline.relana.parser.SClassParser
T__1 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__1 - Static variable in class eu.simuline.relana.parser.CClassParser
T__1 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__1 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__1 - Static variable in class eu.simuline.relana.parser.SClassLexer
T__1 - Static variable in class eu.simuline.relana.parser.SClassParser
T__2 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__2 - Static variable in class eu.simuline.relana.parser.CClassParser
T__2 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__2 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__2 - Static variable in class eu.simuline.relana.parser.SClassLexer
T__2 - Static variable in class eu.simuline.relana.parser.SClassParser
T__3 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__3 - Static variable in class eu.simuline.relana.parser.CClassParser
T__3 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__3 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__3 - Static variable in class eu.simuline.relana.parser.SClassLexer
T__3 - Static variable in class eu.simuline.relana.parser.SClassParser
T__4 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__4 - Static variable in class eu.simuline.relana.parser.CClassParser
T__4 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__4 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__4 - Static variable in class eu.simuline.relana.parser.SClassLexer
T__4 - Static variable in class eu.simuline.relana.parser.SClassParser
T__5 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__5 - Static variable in class eu.simuline.relana.parser.CClassParser
T__5 - Static variable in class eu.simuline.relana.parser.FormulaLexer
T__5 - Static variable in class eu.simuline.relana.parser.FormulaParser
T__6 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__6 - Static variable in class eu.simuline.relana.parser.CClassParser
T__7 - Static variable in class eu.simuline.relana.parser.CClassLexer
T__7 - Static variable in class eu.simuline.relana.parser.CClassParser
target - Variable in class eu.simuline.relana.model.DeficiencyMap: The target of this map.
target - Variable in class eu.simuline.relana.model.MapDecl
target(DeficiencyMap) - Method in enum eu.simuline.relana.expressions.Operation.Functor
TEST - Static variable in class eu.simuline.relana.model.DeficiencyMapTest
TEST - Static variable in class eu.simuline.relana.sys.RelanaTest
TestAll() - Constructor for class eu.simuline.relana.model.DeficiencyMapTest.TestAll
TestAll() - Constructor for class eu.simuline.relana.sys.RelanaTest.TestAll
testCompose() - Method in class eu.simuline.relana.model.DeficiencyMapTest.TestAll
testCompose() - Method in class eu.simuline.relana.model.DeficiencyMapTest
testConstructor() - Method in class eu.simuline.relana.model.DeficiencyMapTest.TestAll
testConstructor() - Method in class eu.simuline.relana.model.DeficiencyMapTest
testOrdMaps() - Method in class eu.simuline.relana.sys.RelanaTest.TestAll
testOrdMaps() - Method in class eu.simuline.relana.sys.RelanaTest
testProj() - Method in class eu.simuline.relana.sys.RelanaTest.TestAll
testProj() - Method in class eu.simuline.relana.sys.RelanaTest
testTinyPlane() - Method in class eu.simuline.relana.sys.RelanaTest.TestAll
testTinyPlane() - Method in class eu.simuline.relana.sys.RelanaTest
testTinyPlaneAdd() - Method in class eu.simuline.relana.sys.RelanaTest.TestAll
testTinyPlaneAdd() - Method in class eu.simuline.relana.sys.RelanaTest
testTinyPlaneB() - Method in class eu.simuline.relana.sys.RelanaTest.TestAll
testTinyPlaneB() - Method in class eu.simuline.relana.sys.RelanaTest
tokenNames - Static variable in class eu.simuline.relana.parser.CClassLexer: Deprecated.
Use CClassLexer.VOCABULARY instead.
tokenNames - Static variable in class eu.simuline.relana.parser.CClassParser: Deprecated.
Use CClassParser.VOCABULARY instead.
tokenNames - Static variable in class eu.simuline.relana.parser.FormulaLexer: Deprecated.
Use FormulaLexer.VOCABULARY instead.
tokenNames - Static variable in class eu.simuline.relana.parser.FormulaParser: Deprecated.
Use FormulaParser.VOCABULARY instead.
tokenNames - Static variable in class eu.simuline.relana.parser.SClassLexer: Deprecated.
Use SClassLexer.VOCABULARY instead.
tokenNames - Static variable in class eu.simuline.relana.parser.SClassParser: Deprecated.
Use SClassParser.VOCABULARY instead.
toString() - Method in class eu.simuline.relana.expressions.Formula.Comp
toString() - Method in class eu.simuline.relana.expressions.Formula.Const
toString() - Method in class eu.simuline.relana.expressions.Formula.Var
toString() - Method in class eu.simuline.relana.expressions.FormulaDecl.Comp
toString() - Method in class eu.simuline.relana.expressions.FormulaDecl.Const
toString() - Method in class eu.simuline.relana.expressions.FormulaDecl.Var
toString() - Method in class eu.simuline.relana.expressions.Operation.CompOp
toString() - Method in class eu.simuline.relana.expressions.Operation.IntsOp
toString() - Method in class eu.simuline.relana.expressions.Operation.Maps
toString() - Method in class eu.simuline.relana.expressions.Operation.UnionOp
toString() - Method in class eu.simuline.relana.expressions.Type
toString() - Method in class eu.simuline.relana.model.CClass.SClassDecl
toString() - Method in class eu.simuline.relana.model.CClass
toString() - Method in class eu.simuline.relana.model.CClassLoader.ClassResolver
toString() - Method in class eu.simuline.relana.model.CClassLoader.Occurrence
toString() - Method in class eu.simuline.relana.model.CInstance
toString() - Method in class eu.simuline.relana.model.ClassLocator
toString() - Method in class eu.simuline.relana.model.Deficiency
toString() - Method in class eu.simuline.relana.model.DeficiencyMap
toString() - Method in class eu.simuline.relana.model.DeficiencyNode
toString() - Method in class eu.simuline.relana.model.DeficiencySetNode
toString() - Method in class eu.simuline.relana.model.FlatCInstance
toString() - Method in class eu.simuline.relana.model.InstanceLocator
toString() - Method in class eu.simuline.relana.model.MapDecl
toString() - Method in class eu.simuline.relana.model.Package
toString() - Method in class eu.simuline.relana.model.ProbDistr
toString() - Method in class eu.simuline.relana.model.ProbDistr.Validator
toString() - Method in class eu.simuline.relana.model.SClass
toString() - Method in class eu.simuline.relana.model.SInstance
toString() - Method in class eu.simuline.relana.sys.Project
twistIsotone() - Method in enum eu.simuline.relana.expressions.Operation.Functor
type - Variable in class eu.simuline.relana.expressions.Formula.Const
type - Variable in class eu.simuline.relana.expressions.FormulaDecl.Const
type - Variable in class eu.simuline.relana.model.ProbDistr: The type of this ProbDistr.
type - Variable in class eu.simuline.relana.model.SClass
type - Variable in class eu.simuline.relana.model.SInstance: The SClass of this instance.
Type - Class in eu.simuline.relana.expressions: A type maps declared Deficiencys to their nodes and defines minimum and maximum Deficiencys.
Type() - Constructor for class eu.simuline.relana.expressions.Type
Type(Type) - Constructor for class eu.simuline.relana.expressions.Type
Type(Map<Deficiency, DeficiencyNode>) - Constructor for class eu.simuline.relana.expressions.Type

U

UNDET - Static variable in class eu.simuline.relana.model.Deficiency
Union - eu.simuline.relana.expressions.Operation.BaseOps
UNION - Static variable in class eu.simuline.relana.parser.CClassLexer
UNION - Static variable in class eu.simuline.relana.parser.CClassParser
UNION - Static variable in class eu.simuline.relana.parser.FormulaLexer
UNION - Static variable in class eu.simuline.relana.parser.FormulaParser
UNION() - Method in class eu.simuline.relana.parser.CClassParser.AppendOpContext
UNION() - Method in class eu.simuline.relana.parser.FormulaParser.CompFormulaContext
UnionOp() - Constructor for class eu.simuline.relana.expressions.Operation.UnionOp
unresolvedClasses - Variable in class eu.simuline.relana.model.CClassLoader
unwrap(Set<DeficiencyNode>) - Static method in class eu.simuline.relana.model.DeficiencyNode

V

val - Variable in class eu.simuline.relana.expressions.Formula.Const
val - Variable in class eu.simuline.relana.expressions.FormulaDecl.Const
validate() - Method in class eu.simuline.relana.model.ProbDistr
validateUp(ProbDistr.Inverter) - Method in class eu.simuline.relana.model.ProbDistr
Validator(Map<Deficiency, BigDecimal>) - Constructor for class eu.simuline.relana.model.ProbDistr.Validator
validators - Variable in class eu.simuline.relana.model.ProbDistr
valueOf(String) - Static method in enum eu.simuline.relana.expressions.Operation.BaseOps: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum eu.simuline.relana.expressions.Operation.Functor: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum eu.simuline.relana.model.CClass.SClassModifier: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum eu.simuline.relana.model.ProbDistr.Inverter: Returns the enum constant of this type with the specified name.
values() - Static method in enum eu.simuline.relana.expressions.Operation.BaseOps: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum eu.simuline.relana.expressions.Operation.Functor: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum eu.simuline.relana.model.CClass.SClassModifier: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum eu.simuline.relana.model.ProbDistr.Inverter: Returns an array containing the constants of this enum type, in the order they are declared.
Var(CClass.SClassDecl, List<String>) - Constructor for class eu.simuline.relana.expressions.FormulaDecl.Var
Var(SInstance, String) - Constructor for class eu.simuline.relana.expressions.Formula.Var
varFormula() - Method in class eu.simuline.relana.parser.FormulaParser.FormulaContext
varFormula() - Method in class eu.simuline.relana.parser.FormulaParser
VarFormulaContext(ParserRuleContext, int) - Constructor for class eu.simuline.relana.parser.FormulaParser.VarFormulaContext
varS - Variable in class eu.simuline.relana.expressions.Formula.Var
verify() - Method in class eu.simuline.relana.model.CClass
verify() - Method in class eu.simuline.relana.model.SClass
VerifyException - Exception in eu.simuline.relana.model: Exception during verification of a class.
VerifyException(String) - Constructor for exception eu.simuline.relana.model.VerifyException
verifyInner() - Method in class eu.simuline.relana.model.SClass
verifyMMDefics() - Method in class eu.simuline.relana.model.SClass
verifyNoShortcut() - Method in class eu.simuline.relana.model.SClass: Throws an exception if the transitive hull of the relation contains a cycle.
visitErrorNode(ErrorNode) - Method in class eu.simuline.relana.parser.CClassBaseListener
visitErrorNode(ErrorNode) - Method in class eu.simuline.relana.parser.FormulaBaseListener
visitErrorNode(ErrorNode) - Method in class eu.simuline.relana.parser.SClassBaseListener
visitTerminal(TerminalNode) - Method in class eu.simuline.relana.parser.CClassBaseListener
visitTerminal(TerminalNode) - Method in class eu.simuline.relana.parser.FormulaBaseListener
visitTerminal(TerminalNode) - Method in class eu.simuline.relana.parser.SClassBaseListener
VOCABULARY - Static variable in class eu.simuline.relana.parser.CClassLexer
VOCABULARY - Static variable in class eu.simuline.relana.parser.CClassParser
VOCABULARY - Static variable in class eu.simuline.relana.parser.FormulaLexer
VOCABULARY - Static variable in class eu.simuline.relana.parser.FormulaParser
VOCABULARY - Static variable in class eu.simuline.relana.parser.SClassLexer
VOCABULARY - Static variable in class eu.simuline.relana.parser.SClassParser

W

warning() - Method in class eu.simuline.relana.model.ProbDistr.Validator
warningError(Set<Deficiency>) - Method in class eu.simuline.relana.model.ProbDistr.Validator
WS - Static variable in class eu.simuline.relana.parser.CClassLexer
WS - Static variable in class eu.simuline.relana.parser.CClassParser
WS - Static variable in class eu.simuline.relana.parser.FormulaLexer
WS - Static variable in class eu.simuline.relana.parser.FormulaParser
WS - Static variable in class eu.simuline.relana.parser.SClassLexer
WS - Static variable in class eu.simuline.relana.parser.SClassParser

_

_ATN - Static variable in class eu.simuline.relana.parser.CClassLexer
_ATN - Static variable in class eu.simuline.relana.parser.CClassParser
_ATN - Static variable in class eu.simuline.relana.parser.FormulaLexer
_ATN - Static variable in class eu.simuline.relana.parser.FormulaParser
_ATN - Static variable in class eu.simuline.relana.parser.SClassLexer
_ATN - Static variable in class eu.simuline.relana.parser.SClassParser
_decisionToDFA - Static variable in class eu.simuline.relana.parser.CClassLexer
_decisionToDFA - Static variable in class eu.simuline.relana.parser.CClassParser
_decisionToDFA - Static variable in class eu.simuline.relana.parser.FormulaLexer
_decisionToDFA - Static variable in class eu.simuline.relana.parser.FormulaParser
_decisionToDFA - Static variable in class eu.simuline.relana.parser.SClassLexer
_decisionToDFA - Static variable in class eu.simuline.relana.parser.SClassParser
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.CClassLexer
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.CClassParser
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.FormulaLexer
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.FormulaParser
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.SClassLexer
_LITERAL_NAMES - Static variable in class eu.simuline.relana.parser.SClassParser
_serializedATN - Static variable in class eu.simuline.relana.parser.CClassLexer
_serializedATN - Static variable in class eu.simuline.relana.parser.CClassParser
_serializedATN - Static variable in class eu.simuline.relana.parser.FormulaLexer
_serializedATN - Static variable in class eu.simuline.relana.parser.FormulaParser
_serializedATN - Static variable in class eu.simuline.relana.parser.SClassLexer
_serializedATN - Static variable in class eu.simuline.relana.parser.SClassParser
_sharedContextCache - Static variable in class eu.simuline.relana.parser.CClassLexer
_sharedContextCache - Static variable in class eu.simuline.relana.parser.CClassParser
_sharedContextCache - Static variable in class eu.simuline.relana.parser.FormulaLexer
_sharedContextCache - Static variable in class eu.simuline.relana.parser.FormulaParser
_sharedContextCache - Static variable in class eu.simuline.relana.parser.SClassLexer
_sharedContextCache - Static variable in class eu.simuline.relana.parser.SClassParser
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.CClassLexer
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.CClassParser
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.FormulaLexer
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.FormulaParser
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.SClassLexer
_SYMBOLIC_NAMES - Static variable in class eu.simuline.relana.parser.SClassParser

A B C D E F G H I K L M N O P R S T U V W _
All Classes All Packages