A B C D E F G H I J K L M N O P Q R S T U V W X

I

id - Variable in exception agg.attribute.AttrMatchException
 
id - Variable in class agg.attribute.impl.TupleEvent
 
Id() - Static method in class agg.attribute.parser.javaExpr.JexParser
 
IDENTIFICATION - Static variable in interface agg.xt_basis.CompletionPropertyBits
If this bit is set to true, only matches that satisfy the identification condition will be found.
IDENTIFICATION - Static variable in class agg.xt_basis.GraTraOptions
 
IDENTIFIER - Static variable in interface agg.attribute.parser.javaExpr.JexParserConstants
 
identifier - Variable in class agg.attribute.parser.javaExpr.SimpleNode
 
idToString(int) - Method in class agg.attribute.impl.TupleEvent
 
idToString(int) - Method in class agg.attribute.view.impl.TupleViewEvent
 
IGNORE_SAME_MATCH - Static variable in class agg.parser.CriticalPairOption
 
IGNORE_SAME_RULE - Static variable in class agg.parser.CriticalPairOption
 
ignoreIdenticalRules - Variable in class agg.parser.ExcludePair
 
ignoreIdenticalRules - Variable in class agg.parser.ExcludePairContainer
 
ignoreIdenticalRulesEnabled() - Method in class agg.parser.CriticalPairOption
 
image - Variable in class agg.attribute.parser.javaExpr.Token
The string image of the token.
importColorGraph2AGG(GraGra, Graph, String, Type, Type) - Static method in class agg.convert.AGG2ColorGraph
Import a ColorGraph which is specified by String colorFileName into the specified Graph of the specified GraGra.
importGraph(String) - Static method in class agg.xt_basis.AGGBasicAppl
 
importGraph(Graph) - Method in class agg.xt_basis.GraGra
Reset my host graph by the Graph g.
importGraph(Graph, boolean) - Method in class agg.xt_basis.GraGra
Reset my host graph by the Graph g.
importTypeGraph(Graph, boolean) - Method in class agg.xt_basis.GraGra
Adds the specified Graph g to the current type graph if it exists or to a new created type graph otherwise.
importTypeGraph(Graph, boolean) - Method in class agg.xt_basis.TypeSet
Imports (integrates) the specified Graph tGraph into my type graph.
InclusiveOrExpression() - Static method in class agg.attribute.parser.javaExpr.JexParser
 
INCONSISTENT - Static variable in class agg.xt_basis.GraTraEvent
 
incrementAllGreaterThan(int) - Method in class agg.attribute.view.impl.SlotSequence
 
incrementCount() - Method in class agg.attribute.impl.VarMember
 
index0 - Variable in class agg.attribute.impl.TupleEvent
 
index1 - Variable in class agg.attribute.impl.TupleEvent
 
indexOf(Node) - Method in class agg.xt_basis.TypeGraph
 
indexOf(Arc) - Method in class agg.xt_basis.TypeGraph
 
info - Variable in class agg.attribute.parser.javaExpr.SimpleNode
 
info - Variable in class agg.xt_basis.Graph
 
info - Variable in class agg.xt_basis.TypeSet
 
InformationFacade - Interface in agg.attribute.facade
Collection of methods for storing and retrieving information in attribute tuples and members.
initAll(boolean) - Method in class agg.termination.TerminationLGTS
 
initAll(boolean) - Method in interface agg.termination.TerminationLGTSInterface
 
initAll(boolean) - Method in class agg.termination.TerminationLGTSTypedByTypeGraph
 
initAllContainer() - Method in class agg.parser.ExcludePairContainer
Initials all containers.
initAllContainer() - Method in interface agg.parser.PairContainer
Initials all containers.
initClass() - Method in class agg.attribute.impl.CondTuple
 
INITIALIZATION - Static variable in class agg.ruleappl.ApplicabilityConstants
 
INITIALIZATION_ERROR - Static variable in class agg.ruleappl.ApplicabilityConstants
 
initialize(OrdinaryMorphism) - Method in class agg.xt_basis.Completion_CSP
Initialize the CSP by the specified morphism.
initialize(OrdinaryMorphism, Enumeration<Node>, Enumeration<Arc>) - Method in class agg.xt_basis.Completion_CSP
Initialize the CSP by the specified morphism.
initialize(OrdinaryMorphism) - Method in class agg.xt_basis.Completion_InheritCSP
Initialize the CSP by the specified morphism.
initialize(OrdinaryMorphism) - Method in class agg.xt_basis.Completion_SimpleBT
Deprecated.  
initialize(BitSet, BitSet) - Method in class agg.xt_basis.MorphCompletionStrategy
 
initialize(OrdinaryMorphism) - Method in class agg.xt_basis.MorphCompletionStrategy
 
initialized - Static variable in class agg.attribute.impl.AttrObject
 
initRuleLayer(Hashtable<?, Integer>) - Method in class agg.termination.TerminationLGTS
 
initRuleLayer(Hashtable<?, Integer>) - Method in interface agg.termination.TerminationLGTSInterface
 
initRuleLayer(Hashtable<?, Integer>) - Method in class agg.termination.TerminationLGTSTypedByTypeGraph
 
INJECTIVE - Static variable in interface agg.xt_basis.CompletionPropertyBits
If this bit is set to true, only injective completions of a morphism will be found.
INJECTIVE - Static variable in class agg.xt_basis.GraTraOptions
 
insertIndexInVisible(int) - Method in class agg.attribute.view.impl.TupleFormat
Inserting the index in the visible container, so that the order matches that of the total container.
INSTALL(int) - Static method in class agg.xt_basis.CopyMemory
 
instantiate(Variable) - Method in interface agg.util.csp.InstantiationHook
This method is called whenever the variable I'm hooked to gets instantiated.
instantiate(Variable) - Method in class agg.xt_basis.Constraint_Attribute
 
instantiate(Variable) - Method in class agg.xt_basis.Constraint_InheritAttribute
 
instantiate_intern(Variable) - Method in class agg.xt_basis.Constraint_Attribute
 
InstantiationHook - Interface in agg.util.csp
An interface for the realization of side effects which are to take place at instantiation/uninstantiation time of a CSP variable.
INTEGER_LITERAL - Static variable in interface agg.attribute.parser.javaExpr.JexParserConstants
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTAddNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTAllocationExpression
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTAndNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTArrayAllocation
 
interpret(SimpleNode) - Method in class agg.attribute.parser.javaExpr.ASTArrayIndex
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTBitwiseAndNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTBitwiseComplNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTBitwiseOrNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTBitwiseXorNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTCharConstNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTClassName
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTCondExpr
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTDivNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTEmptyDimension
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTEQNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTExpression
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTFalseNode
 
interpret(SimpleNode) - Method in class agg.attribute.parser.javaExpr.ASTField
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTFloatConstNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTGENode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTGTNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTId
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTIntConstNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTLENode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTLTNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTModNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTMulNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTNegNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTNENode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTNotNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTNullLiteral
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTOrNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTPrimaryExpression
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTStringConstNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTSubtractNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.ASTTrueNode
 
interpret(Node, Class<?>, SymbolTable) - Method in class agg.attribute.parser.javaExpr.Jex
Interprets an expression.
interpret(String, Class<?>, SymbolTable) - Method in class agg.attribute.parser.javaExpr.Jex
Deprecated. Strings are NOT sufficent to represent expressions
interpret(SimpleNode) - Method in class agg.attribute.parser.javaExpr.MemberNode
 
interpret() - Method in interface agg.attribute.parser.javaExpr.Node
Interpret method
interpret() - Method in class agg.attribute.parser.javaExpr.ObjectConstNode
 
interpret(SimpleNode) - Method in class agg.attribute.parser.javaExpr.OpMemberNode
 
interpret() - Method in class agg.attribute.parser.javaExpr.SimpleNode
 
interpret_(String, Class<?>, SymbolTable) - Method in class agg.attribute.parser.javaExpr.Jex
 
intersectCoDomains(OrdinaryMorphism) - Method in class agg.xt_basis.OrdinaryMorphism
 
InvalidAlgorithmException - Exception in agg.parser
This exception should be thrown by the isCritical() method of an object that implements a concrete stategy of a critical pair.
InvalidAlgorithmException() - Constructor for exception agg.parser.InvalidAlgorithmException
InvalidAlgorithmException default constructor with a standard message and the standard kind of algorithm
InvalidAlgorithmException(String) - Constructor for exception agg.parser.InvalidAlgorithmException
InvalidAlgorithmException creates a exception with a specified message and the standard kind of algorithm
InvalidAlgorithmException(String, int) - Constructor for exception agg.parser.InvalidAlgorithmException
InvalidAlgorithmException creates a exception with a specified message and the kind of algorithm which causes the error.
invert() - Method in class agg.xt_basis.OrdinaryMorphism
swop domain and range <--->, if possible
invertComplex() - Method in class agg.xt_basis.Rule
Tries to invert this rule.
invertLayer() - Method in class agg.cons.ConstraintLayer
Inverts and returns constraint layers so that a layer is a key and a set is a value.
invertLayer(Hashtable<?, ?>) - Method in class agg.parser.LayerFunction
Deprecated. Inverts a layer function so that the layer is the key and the value is a set.
invertLayer(Hashtable<Rule, Integer>) - Method in class agg.termination.TerminationLGTS
Inverts a layer function so that the layer is the key and the value is a set.
invertLayer(Hashtable<Rule, Integer>) - Method in interface agg.termination.TerminationLGTSInterface
Inverts a layer function so that the layer is the key and the value is a set.
invertLayer(Hashtable<Rule, Integer>) - Method in class agg.termination.TerminationLGTSTypedByTypeGraph
Inverts a layer function so that the layer is the key and the value is a set.
invertLayer() - Method in class agg.termination.TypeLayer
Inverts a type layer so that the layer is the key and the value is a set.
invertLayer() - Method in class agg.termination.TypeLayerOfTypeGraph
Inverts a type layer so that the layer is the key and the value is a set.
invertLayer() - Method in class agg.xt_basis.RuleLayer
Inverts a rule layer so that the layer is the key and the value is a set.
invertPriority() - Method in class agg.cons.ConstraintPriority
Inverts and returns constraint priorities so that the key is a priority and the value is a set of constraints.
invertPriority() - Method in class agg.xt_basis.RulePriority
Inverts a rule priority so that the priority is the key and the value is a set.
invertSimplex() - Method in class agg.xt_basis.Rule
Returns an inverted rule.
invoke(SimpleNode) - Method in class agg.attribute.parser.javaExpr.OpMemberNode
 
IS_COMPLEX - Static variable in class agg.attribute.parser.javaExpr.Jex
 
IS_CONSTANT - Static variable in class agg.attribute.parser.javaExpr.Jex
 
IS_VARIABLE - Static variable in class agg.attribute.parser.javaExpr.Jex
 
isAbstract() - Method in class agg.xt_basis.Arc
 
isAbstract() - Method in class agg.xt_basis.ArcTypeImpl
 
isAbstract() - Method in class agg.xt_basis.NodeTypeImpl
 
isAbstract() - Method in interface agg.xt_basis.Type
 
isAbstract() - Method in class agg.xt_basis.TypeImpl
 
isAction() - Method in class agg.attribute.parser.javaExpr.SimpleNode
Checking if the node represents a member (method or field).
isAlive - Variable in class agg.parser.ExcludePairContainer
true if global generating process is running.
isAlive() - Method in class agg.parser.ExcludePairContainer
 
isAlive() - Method in interface agg.parser.PairContainer
 
isApplicable() - Method in class agg.util.csp.BinaryConstraint
Return true iff all variables involved are instantiated.
isApplicable() - Method in class agg.util.csp.Query
Return true iff all my source variables are instantiated, while my target variable is not.
isApplicable() - Method in class agg.xt_basis.Rule
Returns the value which set by setApplicable(boolean appl).
isApplicable(Graph, MorphCompletionStrategy) - Method in class agg.xt_basis.Rule
Checks whether this rule is applicable at the specified graph by the specified matching strategy or not.
isApplicable(Graph, MorphCompletionStrategy, boolean) - Method in class agg.xt_basis.Rule
Checks whether this rule is applicable at the specified graph by the specified matching strategy or not.
isArc() - Method in class agg.xt_basis.Arc
 
isArc(Arc) - Method in class agg.xt_basis.Graph
Returns true if its arcs contain the specified arc.
isArc() - Method in class agg.xt_basis.GraphObject
 
isArc() - Method in class agg.xt_basis.Node
 
isArcAttributeSet(Vector<GraphObject>) - Method in class agg.xt_basis.Graph
 
isArcDeleting() - Method in class agg.xt_basis.Rule
 
isArcType() - Method in class agg.xt_basis.ArcTypeImpl
 
isArcType() - Method in class agg.xt_basis.NodeTypeImpl
 
isArcType() - Method in interface agg.xt_basis.Type
 
isArcType() - Method in class agg.xt_basis.TypeImpl
 
isArrayIndex() - Method in class agg.attribute.parser.javaExpr.SimpleNode
Checking if the node represents an array index).
isAssignable(Class<?>, Class<?>) - Method in class agg.attribute.parser.javaExpr.Jex
 
isAttrConditionOfNACSatisfied(NACStarMorphism, OrdinaryMorphism, Vector<CondMember>) - Static method in class agg.xt_basis.MatchHelper
Returns error message if at least one attribute condition is satisfied, otherwise empty string.
isAttrConditionOfPACSatisfied(PACStarMorphism, OrdinaryMorphism, Vector<CondMember>) - Static method in class agg.xt_basis.MatchHelper
Returns error message if at leas one attribute condition is not satisfied, otherwise empty string.
isAttrConditionSatisfied() - Method in class agg.xt_basis.Match
 
isAttributed() - Method in class agg.xt_basis.Graph
 
isAttributeRestricted(Rule, GraphObject) - Static method in class agg.parser.ExcludePairHelper
Returns true if the GraphObject obj has an attribute member with constant value or a variable which is used as an input parameter.
isAttrMemberChangedFromLeftToRight(Rule, Rule, ValueMember, GraphObject, GraphObject, OrdinaryMorphism, GraphObject) - Static method in class agg.parser.ExcludePairHelper
 
isAttrMemberChangedFromNACRule2ToRight(Rule, Rule, Pair<OrdinaryMorphism, OrdinaryMorphism>, OrdinaryMorphism, List<GraphObject>, List<Type>, Hashtable<ValueMember, Pair<String, String>>) - Static method in class agg.parser.ExcludePairHelper
 
isAttrMemberChangedFromPACRule2ToRight(Rule, Rule, GraphObject, GraphObject, Pair<OrdinaryMorphism, OrdinaryMorphism>) - Static method in class agg.parser.ExcludePairHelper
 
isBijective() - Method in class agg.xt_basis.OrdinaryMorphism
 
isChanging - Variable in class agg.xt_basis.Rule
 
isChanging() - Method in class agg.xt_basis.Rule
Returns true if this rule will change some attributes of the graph elements, otherwise - false.
isChecked() - Method in class agg.ruleappl.RuleSequence
 
isChildOf(Type) - Method in class agg.xt_basis.ArcTypeImpl
compares the specified type with parents of this object
isChildOf(Type) - Method in class agg.xt_basis.NodeTypeImpl
compares the specified type with parents of this object
isChildOf(Type) - Method in interface agg.xt_basis.Type
compares the given type with this object and its ancestors
isChildOf(Type) - Method in class agg.xt_basis.TypeImpl
compares the specified type with parents of this object
isChildTypeGraphNodeUsed() - Method in class agg.xt_basis.ArcTypeImpl
 
isChildTypeGraphNodeUsed() - Method in class agg.xt_basis.NodeTypeImpl
 
isChildTypeGraphNodeUsed() - Method in class agg.xt_basis.TypeImpl
 
isChildTypeUsed() - Method in class agg.xt_basis.ArcTypeImpl
 
isChildTypeUsed() - Method in class agg.xt_basis.NodeTypeImpl
 
isChildTypeUsed() - Method in class agg.xt_basis.TypeImpl
 
isClanUsed(Type) - Method in class agg.xt_basis.TypeSet
Returns true, if at least one type of the type inheritance clan specified by the type t was used to create a node of an instance graph.
isClassName(String) - Method in interface agg.attribute.AttrManager
Returns a class name if the specified name is a class name, otherwise - null.
isClassName(String) - Method in class agg.attribute.impl.AttrTupleManager
Returns a class name if the specified name is a class name, otherwise - null.
isClassName(String) - Method in class agg.attribute.impl.DeclTuple
 
isClassName(String) - Method in class agg.xt_basis.OrdinaryMorphism
 
isCommutative(Morphism) - Method in class agg.xt_basis.OrdinaryMorphism
 
isCompleteGraph() - Method in class agg.xt_basis.Graph
Returns true, if this graph is a complete graph.
isCompleteGraph() - Method in class agg.xt_basis.TypeGraph
Returns false.
isComplex() - Method in interface agg.attribute.handler.HandlerExpr
Checks if the expression is a complex one (like x+1).
isComputed - Variable in class agg.parser.ExcludePairContainer
true if all the relations are computed.
isComputed() - Method in class agg.parser.ExcludePairContainer
 
isComputed() - Method in interface agg.parser.PairContainer
 
isComputedLocal - Variable in class agg.parser.ExcludePairContainer
true if one pair relations are computed.
isConsistent(Rule, OrdinaryMorphism, OrdinaryMorphism) - Static method in class agg.xt_basis.MatchHelper
 
isConstant() - Method in interface agg.attribute.handler.HandlerExpr
Checks if the expression is constant.
isConstant() - Method in class agg.util.csp.Query
Return true iff I am a constant query.
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.ASTAllocationExpression
 
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.ASTArrayAllocation
 
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.ASTId
 
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.ObjectConstNode
 
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.OpMemberNode
 
isConstantExpr() - Method in class agg.attribute.parser.javaExpr.SimpleNode
 
isCorrectInputEnforced - Variable in class agg.attribute.impl.AttrTupleManager
 
isCorrectInputEnforced() - Method in class agg.attribute.impl.AttrTupleManager
 
isCreating - Variable in class agg.xt_basis.Rule
 
isCreating() - Method in class agg.xt_basis.Rule
Returns true if this rule will create new graph elements, otherwise - false.
isCritical(int, Rule, Rule) - Method in interface agg.parser.CriticalPair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.DependencyPair
computes critical pairs of the specified kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.ExcludePair
computes if there is a critical pair of a special kind.
isCritical() - Method in class agg.parser.ExcludePairContainer.Entry
 
isCritical(int, Rule, Rule) - Method in class agg.parser.LayeredDependencyPair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.LayeredExcludePair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.LayeredSimpleDependencyPair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.LayeredSimpleExcludePair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.PriorityDependencyPair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.PriorityExcludePair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.PrioritySimpleDependencyPair
computes if there is a critical pair of a special kind.
isCritical(int, Rule, Rule) - Method in class agg.parser.PrioritySimpleExcludePair
computes if there is a critical pair of a special kind.
isCritical() - Method in class agg.xt_basis.GraphObject
 
isCriticalAtGraph() - Method in class agg.parser.CriticalRulePairAtGraph
Computes critical matches of two rules at a concrete graph.
isDanglingConditionSatisfied() - Method in class agg.xt_basis.Match
 
isDanglingConditionSatisfied(Match) - Static method in class agg.xt_basis.MatchHelper
 
isDeclared(String) - Method in class agg.attribute.impl.ContextCore
Tests if a variable has already been declared in this context or in any of its parents;
isDeclared(String) - Method in class agg.attribute.impl.ContextView
Tests if a variable has already been declared in this context or in any of its parents;
isDeclared(String) - Method in class agg.attribute.impl.VarTuple
 
isDeclared(String, String) - Method in class agg.attribute.impl.VarTuple
 
isDeclared(Vector<String>) - Method in class agg.attribute.impl.VarTuple
 
isDefinite() - Method in interface agg.attribute.AttrConditionMember
Test, if the expression can yield true or false.
isDefinite() - Method in interface agg.attribute.AttrConditionTuple
Test, if all members can yield true or false.
isDefinite() - Method in interface agg.attribute.AttrVariableMember
Test, if the variable evaluates to a definite value.
isDefinite() - Method in interface agg.attribute.AttrVariableTuple
Test, if all variables evaluate to definite values.
isDefinite() - Method in class agg.attribute.impl.CondMember
Test, if the expression can yield true or false.
isDefinite() - Method in class agg.attribute.impl.CondTuple
Test, if all members can yield true or false.
isDefinite(String) - Method in class agg.attribute.impl.CondTuple
Test, if name can yield true or false.
isDefinite() - Method in class agg.attribute.impl.VarMember
Test, if the expression evaluates to a constant.
isDefinite() - Method in class agg.attribute.impl.VarTuple
Test, if all members can yield true or false.
isDeleting - Variable in class agg.xt_basis.Rule
 
isDeleting() - Method in class agg.xt_basis.Rule
Returns true if this rule will delete some graph elements, otherwise - false.
isDirected() - Method in class agg.xt_basis.Arc
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.ALR_CSP
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.ALR_CSP
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.ALR_InheritCSP
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.ALR_InheritCSP
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.Completion_CSP
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.Completion_CSP
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.Completion_InheritCSP
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.Completion_InheritCSP
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.Completion_NAC
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.Completion_NAC
 
isDomainOfTypeEmpty(Type) - Method in class agg.xt_basis.MorphCompletionStrategy
 
isDomainOfTypeEmpty(Type, Type, Type) - Method in class agg.xt_basis.MorphCompletionStrategy
 
isDraggingActive() - Method in class agg.attribute.util.TableRowDragger
 
isEdgeCreatable(Type, Type, int) - Method in class agg.xt_basis.ArcTypeImpl
 
isEdgeCreatable(Type, Type, int) - Method in class agg.xt_basis.NodeTypeImpl
 
isEdgeCreatable(Type, Type, int) - Method in class agg.xt_basis.TypeImpl
 
isElement(Graph) - Method in class agg.cons.AtomConstraint
 
isElement(Rule) - Method in class agg.xt_basis.GraGra
Return true, if the Rule r is element of my rules otherwise - false.
isElement(Graph) - Method in class agg.xt_basis.GraGra
Return true, if the specified Graph g is once of my host graphs, otherwise - false.
isElement(GraphObject) - Method in class agg.xt_basis.Graph
Returns true if it contains the specified graph object.
isElement(Graph) - Method in class agg.xt_basis.Rule
Checks if the specified graph is its LHS, RHS, target of a NAC, target of a PAC graph.
isElement(GraphObject) - Method in class agg.xt_basis.SubGraph
Deprecated. Return true iff I contain the specified graphobject.
isEmpty() - Method in class agg.attribute.impl.ValueMember
Check if no expression yet.
isEmpty() - Method in class agg.attribute.impl.ValueTuple
 
isEmpty - Variable in class agg.parser.ExcludePairContainer
 
isEmpty() - Method in class agg.parser.ExcludePairContainer
 
isEmpty() - Method in interface agg.parser.PairContainer
 
isEmpty() - Method in class agg.ruleappl.ApplRuleSequence
 
isEmpty() - Method in class agg.xt_basis.Graph
 
isEmpty() - Method in class agg.xt_basis.OrdinaryMorphism
Return true if its morphism mapping is empty, otherwise - false.
isEmpty() - Method in class agg.xt_basis.TypeSet
 
isEmptyRule() - Method in class agg.xt_basis.Rule
Return true if its left and right graphs are empty and there aren't any NACs and PACs, otherwise - false.
isEnabled() - Method in class agg.attribute.impl.CondMember
 
isEnabled() - Method in class agg.attribute.impl.VarMember
 
isEnabled() - Method in class agg.cons.Formula
 
isEnabled() - Method in class agg.util.csp.Variable
 
isEnabled() - Method in class agg.xt_basis.OrdinaryMorphism
Returns TRUE if this morphism is usable during transformation otherwise FALSE.
isEvaluable(VarTuple) - Method in class agg.attribute.impl.CondMember
 
isEvaluable(VarTuple) - Method in class agg.attribute.impl.CondTuple
 
isEvaluable() - Method in class agg.cons.AtomConstraint
 
isEvaluable() - Method in class agg.cons.Formula
 
isExclude(Rule, Rule) - Method in class agg.parser.ExcludePair
Checks if the first rule exclude the second rule.
isFalse() - Method in interface agg.attribute.AttrConditionTuple
Test, if the tuple contains members which can be evaluated and yield 'false'.
isFalse() - Method in class agg.attribute.impl.CondMember
Test, if this condition can be evaluated and yield 'false'.
isFalse() - Method in class agg.attribute.impl.CondTuple
Test, if the tuple contains members which can be evaluated and yield 'false'.
isFalse(String) - Method in class agg.attribute.impl.CondTuple
Test, if the tuple contains members which can be evaluated and yield 'false'.
isFrozen - Variable in class agg.attribute.impl.ContextCore
Flag; when set, mapping removals are deferred.
isFrozen() - Method in class agg.attribute.impl.ContextCore
Checking if this context is "frozen".
isGraph(Vector<GraphObject>) - Method in class agg.xt_basis.Graph
Returns true if the given set of graph objects represents a valid graph.
isGraphConsistent() - Method in class agg.xt_basis.GraTra
 
isGraphConstraintReadyForTransform() - Method in class agg.xt_basis.GraGra
Checks atomic graph constraints.
isGraphReadyForTransform() - Method in class agg.xt_basis.GraGra
 
isIdentificationConditionSatisfied(Match) - Static method in class agg.xt_basis.MatchHelper
 
isIn - Variable in class agg.attribute.impl.VarMember
 
isIn(Match) - Method in class agg.parser.RuleInstances
Checks if a given match is in this container.
isInheritance() - Method in class agg.xt_basis.Arc
 
isInheritanceArc(Arc) - Method in class agg.xt_basis.TypeSet
 
isInherited() - Method in class agg.xt_basis.Arc
Deprecated. replaced by isInheritance()
isInjective() - Method in class agg.xt_basis.MorphCompletionStrategy
 
isInjective() - Method in class agg.xt_basis.OrdinaryMorphism
 
isInputParameter() - Method in interface agg.attribute.AttrVariableMember
Tests if this variable is an IN-parameter.
isInputParameter() - Method in class agg.attribute.impl.VarMember
 
isIsolated() - Method in class agg.xt_basis.Node
 
isIsomorphicTo(Graph) - Method in class agg.xt_basis.Graph
Return an Enumeration of all of my subgraphs (not including myself). * Enumeration elements are of type SubGraph.
isIsomorphicTo(OrdinaryMorphism) - Method in class agg.xt_basis.OrdinaryMorphism
 
isIsomorphicTo(OrdinaryMorphism, OrdinaryMorphism) - Method in class agg.xt_basis.OrdinaryMorphism
 
isLayered() - Method in class agg.parser.ConflictsDependenciesContainer
 
isLayered() - Method in class agg.xt_basis.GraGra
 
isLeafMember(String) - Method in class agg.attribute.impl.DeclTuple
 
isLeftApplicable(Graph, MorphCompletionStrategy, boolean) - Method in class agg.xt_basis.Rule
Checks whether this rule is applicable at the specified graph by the specified matching strategy or not.
isLegalName(String) - Method in class agg.attribute.impl.DeclTuple
Check if 'text'is already defined as attribute name.
isLegalType(AttrHandler, String) - Method in class agg.attribute.impl.DeclTuple
Check if 'handler' says that it can make a type out of 'typeName'.
isMappingChanged() - Method in class agg.xt_basis.OrdinaryMorphism
 
isMatchCritic(Match, Vector<Pair<OrdinaryMorphism, OrdinaryMorphism>>) - Method in class agg.parser.ExcludeParser
Checks if a current match is critic.
isMember() - Method in class agg.attribute.parser.javaExpr.SimpleNode
Checking if the node represents a member (method or field).
isNacGraph() - Method in class agg.xt_basis.Graph
return TRUE if this graph is a NAC graph
isNacGraph() - Method in class agg.xt_basis.TypeGraph
Returns false.
isNACValid(OrdinaryMorphism) - Method in class agg.xt_basis.Rule
always returns TRUE.
isNameValid - Variable in class agg.attribute.impl.DeclMember
Flag if the the member name is unique within its tuple.
isNewTypeGraphObjectImported() - Method in class agg.xt_basis.TypeSet
 
isNode() - Method in class agg.xt_basis.Arc
 
isNode(Node) - Method in class agg.xt_basis.Graph
Returns true if its nodes contain the specified node.
isNode() - Method in class agg.xt_basis.GraphObject
 
isNode() - Method in class agg.xt_basis.Node
 
isNodeAttributeSet(Vector<GraphObject>) - Method in class agg.xt_basis.Graph
 
isNodeDeleting() - Method in class agg.xt_basis.Rule
 
isNodeType() - Method in class agg.xt_basis.ArcTypeImpl
 
isNodeType() - Method in class agg.xt_basis.NodeTypeImpl
 
isNodeType() - Method in interface agg.xt_basis.Type
 
isNodeType() - Method in class agg.xt_basis.TypeImpl
 
isNOT(Evaluable, Vector<Evaluable>) - Method in class agg.cons.Formula
 
isNotificationRequired() - Method in class agg.xt_basis.Graph
 
isNotificationRequired() - Method in class agg.xt_basis.OrdinaryMorphism
 
isObjectOfTypeGraphArcVisible(Type, Type) - Method in interface agg.xt_basis.Type
 
isObjectOfTypeGraphArcVisible(Type, Type) - Method in class agg.xt_basis.TypeImpl
 
isObjectOfTypeGraphNodeVisible() - Method in interface agg.xt_basis.Type
 
isObjectOfTypeGraphNodeVisible() - Method in class agg.xt_basis.TypeImpl
 
isoLeft - Variable in class agg.parser.DependencyPair
 
isoLHS1 - Variable in class agg.parser.ConcurrentRule
 
isomorphicCopy() - Method in class agg.xt_basis.Graph
Returns an isomorphism between this graph and its ad-hoc-created copy.
isomorphicCopy() - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isoRHS1 - Variable in class agg.parser.ConcurrentRule
 
isoRight - Variable in class agg.parser.DependencyPair
 
isoToCopy(int) - Method in class agg.xt_basis.Graph
Deprecated. replaced by isomorphicCopy()
isoToCopy() - Method in class agg.xt_basis.Graph
Deprecated. replaced by isomorphicCopy()
isoToCopy() - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isoToCopy(int) - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isOut - Variable in class agg.attribute.impl.VarMember
 
isOutput - Variable in class agg.attribute.parser.javaExpr.Jex
 
isOutput - Variable in class agg.util.RedirectSystemOut
 
isOutputParameter() - Method in interface agg.attribute.AttrVariableMember
Tests if this variable is an OUT-parameter.
isOutputParameter() - Method in class agg.attribute.impl.VarMember
 
isOwnMemberAt(AttrViewSetting, int) - Method in interface agg.attribute.AttrType
Returns true when the member of the slot belongs to this attribute type, false - when the member belongs to a parent type.
isOwnMemberAt(AttrViewSetting, int) - Method in class agg.attribute.impl.DeclTuple
 
isPacGraph() - Method in class agg.xt_basis.Graph
return TRUE if this graph is a PAC graph
isPACValid(OrdinaryMorphism) - Method in class agg.xt_basis.Rule
always returns TRUE!
isParallelApplyEnabled() - Method in class agg.xt_basis.Rule
 
isParentOf(Type) - Method in class agg.xt_basis.ArcTypeImpl
compares the given type and its ancestors with this object
isParentOf(Type) - Method in class agg.xt_basis.NodeTypeImpl
compares the given type and its ancestors with this object
isParentOf(Type) - Method in interface agg.xt_basis.Type
compares the given type and its ancestors with this object
isParentOf(Type) - Method in class agg.xt_basis.TypeImpl
compares the given type and its ancestors with this object
isPartial() - Method in class agg.xt_basis.OrdinaryMorphism
Return true if this is a partial morphism.
isPartialIsomorphicTo(OrdinaryMorphism) - Method in class agg.xt_basis.OrdinaryMorphism
 
isPartialMorphismCompletion() - Method in class agg.xt_basis.OrdinaryMorphism
 
isPaused() - Method in class agg.xt_basis.GraTra
 
isPersistentFor(AttrTuple) - Method in interface agg.attribute.AttrObserver
 
isPersistentFor(AttrTuple) - Method in class agg.attribute.impl.ChainedObserver
Per default, always save observer dependencies within the attribute component.
isPersistentFor(AttrTuple) - Method in class agg.attribute.view.impl.OpenViewSetting
AttrObserver implementation
isPersistentFor(AttrTuple) - Method in class agg.xt_basis.GraphObject
 
isPriority() - Method in class agg.parser.ConflictsDependenciesContainer
 
isPriority() - Method in class agg.xt_basis.GraGra
 
isReady - Variable in class agg.xt_basis.Rule
 
isReadyForTransform() - Method in class agg.xt_basis.Graph
Returns false if not all attributes of its graph objects are set, otherwise - true.
isReadyForTransform(Vector<GraphObject>) - Method in class agg.xt_basis.Graph
Returns false if not all attributes of its graph objects are set, otherwise - true.
isReadyForTransform() - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isReadyForTransform(Vector<GraphObject>) - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isReadyToTransform(boolean) - Method in class agg.xt_basis.GraGra
Checks the types, rules and graph constraints of this grammar.
isReadyToTransform() - Method in class agg.xt_basis.GraGra
Checks the types, rules and graph constraints of this grammar.
isReadyToTransform() - Method in class agg.xt_basis.Match
Checks variable declarations and attribute conditions.
isReadyToTransform(boolean) - Method in class agg.xt_basis.Rule
Deprecated. replaced by isReadyToTransform() that includs update of the rule infos
isReadyToTransform() - Method in class agg.xt_basis.Rule
Checks attribute setting of RHS, variable declarations and attribute conditions.
isRelatedTo(Type) - Method in class agg.xt_basis.ArcTypeImpl
Finds out if there is any relation between this type and the given one.
isRelatedTo(Type) - Method in class agg.xt_basis.NodeTypeImpl
Finds out if there is any relation between this type and the given one.
isRelatedTo(Type) - Method in interface agg.xt_basis.Type
Finds out if there is any relation between this type and the given one.
isRelatedTo(Type) - Method in class agg.xt_basis.TypeImpl
Finds out if there is any relation between this type and the given one.
isRelationVisible() - Method in class agg.parser.ExcludePairContainer.Entry
 
isRuleLayerEnabled(int) - Method in class agg.xt_basis.GraGra
 
isRuleVisible() - Method in class agg.parser.ExcludePairContainer.Entry
 
isSet() - Method in interface agg.attribute.AttrInstanceMember
Test, if the value is set or not.
isSet(AttrInstanceMember) - Method in class agg.attribute.facade.impl.DefaultInformationFacade
Test, if the member value is set or not.
isSet(AttrInstanceMember) - Method in interface agg.attribute.facade.InformationFacade
Test, if the member value is set or not.
isSet() - Method in class agg.attribute.impl.ValueMember
Check if set.
isSubclassOf(TupleObject) - Method in class agg.attribute.impl.TupleObject
Inheritance mechanism: Checking inheritance relation.
isSurjective() - Method in class agg.xt_basis.OrdinaryMorphism
 
isTag(String, XMLObject) - Method in class agg.util.XMLHelper
 
isTotal() - Method in interface agg.xt_basis.Morphism
Return true iff I am a total morphism.
isTotal() - Method in class agg.xt_basis.OrdinaryMorphism
Return true if this is a total morphism.
isTransient - Variable in class agg.attribute.impl.ValueMember
 
isTransient() - Method in class agg.attribute.impl.ValueMember
 
isTriggerOfLayer() - Method in class agg.xt_basis.Rule
Checks if this rule is a trigger rule of its layer.
isTrue() - Method in interface agg.attribute.AttrConditionMember
Test, if the expression yields true.
isTrue() - Method in interface agg.attribute.AttrConditionTuple
Test, if ANDing of all members yields true.
isTrue() - Method in class agg.attribute.impl.CondMember
Test, if the expression yields true.
isTrue() - Method in class agg.attribute.impl.CondTuple
Test, if ANDing of all members yields true.
isTrue(String) - Method in class agg.attribute.impl.CondTuple
Test, if ANDing of all members yields true.
isTypeGraph() - Method in class agg.xt_basis.Graph
Returns true if this graph is used as a type graph.
isTypeGraph() - Method in class agg.xt_basis.TypeGraph
Returns true.
isTypeGraphArcUsed(Arc) - Method in class agg.xt_basis.ArcTypeImpl
 
isTypeGraphArcUsed(Arc) - Method in class agg.xt_basis.NodeTypeImpl
 
isTypeGraphArcUsed(Arc) - Method in class agg.xt_basis.TypeImpl
 
isTypeGraphNodeUsed() - Method in class agg.xt_basis.ArcTypeImpl
 
isTypeGraphNodeUsed() - Method in class agg.xt_basis.NodeTypeImpl
 
isTypeGraphNodeUsed() - Method in class agg.xt_basis.TypeImpl
 
isTypeGraphObjectDefined() - Method in class agg.xt_basis.ArcTypeImpl
returns true, if there is at least one object in the type graph for this type.
isTypeGraphObjectDefined() - Method in class agg.xt_basis.NodeTypeImpl
returns true, if there is at least one object in the type graph for this type.
isTypeGraphObjectDefined() - Method in interface agg.xt_basis.Type
returns true, if there is at least one object in the type graph for this type.
isTypeGraphObjectDefined() - Method in class agg.xt_basis.TypeImpl
returns true, if there is at least one object in the type graph for this type.
isTypeMaxMultiplicitySatisfied() - Method in class agg.xt_basis.Match
Checks multiplicity of node resp. edge types due to the type graph of the given match.
isTypeMultiplicitySatisfied() - Method in class agg.xt_basis.Match
Checks multiplicity of node resp. edge types due to the type graph of the given match.
isTypeMultiplicitySatisfied(Match) - Static method in class agg.xt_basis.MatchHelper
Checks multiplicity of node resp. edge types due to the type graph of the given match.
isTypeObjectsMapChanged() - Method in class agg.xt_basis.OrdinaryMorphism
 
isTypeUsed() - Method in class agg.xt_basis.ArcTypeImpl
 
isTypeUsed() - Method in class agg.xt_basis.NodeTypeImpl
 
isTypeUsed() - Method in class agg.xt_basis.TypeImpl
 
isUnifiableWith(HandlerExpr, SymbolTable) - Method in interface agg.attribute.handler.HandlerExpr
Checks if the recipient can be "matched", "unified" with the first parameter under a certain variable assignment.
isUnifiableWith(HandlerExpr) - Method in class agg.attribute.impl.VarMember
 
isUsingType(GraphObject) - Method in class agg.xt_basis.GraGra
Returns true if this gragra uses the specified type.
isUsingType(GraphObject) - Method in class agg.xt_basis.Graph
Returns true if this graph uses the specified type.
isUsingType(Type) - Method in class agg.xt_basis.Graph
 
isUsingType(GraphObject) - Method in class agg.xt_basis.Rule
Returns true if this rule, its NACs or PACs are using the specified type which is an element (node or edge) of a type graph.
isUsingVariable(VarMember) - Method in class agg.xt_basis.Graph
 
isUsingVariable(VarMember) - Method in class agg.xt_basis.TypeGraph
This method is not defined for this class.
isValid() - Method in interface agg.attribute.AttrMember
Testing if the member is consistent and complete.
isValid() - Method in interface agg.attribute.AttrTuple
Testing if the tuple is consistent and complete.
isValid() - Method in class agg.attribute.impl.DeclMember
 
isValid() - Method in class agg.attribute.impl.TupleObject
 
isValid() - Method in class agg.attribute.impl.ValueMember
 
isValid() - Method in class agg.cons.AtomApplCond
 
isValid() - Method in class agg.cons.AtomConstraint
 
isValid() - Method in class agg.cons.Formula
 
isValid() - Method in class agg.parser.LayerFunction
Deprecated. A fast check on validity.
isValid() - Method in class agg.termination.TerminationLGTS
A fast check on validity.
isValid() - Method in interface agg.termination.TerminationLGTSInterface
A fast check on validity.
isValid() - Method in class agg.termination.TerminationLGTSTypedByTypeGraph
A fast check on validity.
isValid() - Method in class agg.xt_basis.Match
Checks if this is a valid match.
isValid(boolean) - Method in class agg.xt_basis.Match
This method is like the method isValid(), additionally, the usage of variables in a work graph is possible.
isValueSetAt(String) - Method in interface agg.attribute.AttrInstance
Test, if a value is set or not.
isValueSetAt(String) - Method in class agg.attribute.impl.ValueTuple
Test, if a value is set or not.
isValueSetAt(int) - Method in class agg.attribute.impl.ValueTuple
Test, if a value is set or not.
isVariable() - Method in interface agg.attribute.handler.HandlerExpr
Checks if the expression is a single Variable.
isVariableContext() - Method in class agg.attribute.impl.AttrTupleManager
 
isVariableContext() - Method in class agg.attribute.impl.ContextCore
 
isVariableContext() - Method in class agg.attribute.impl.ContextView
 
isVisible() - Method in class agg.attribute.impl.DeclMember
 
isVisible(AttrTuple, int) - Method in interface agg.attribute.view.AttrViewSetting
Testing if the attribute member at the specified slot is visible in this view.
isVisible(AttrTuple, int) - Method in class agg.attribute.view.impl.MaskedViewSetting
 
isVisible(AttrTuple, int) - Method in class agg.attribute.view.impl.OpenViewSetting
 
isVisible(int) - Method in class agg.attribute.view.impl.TupleFormat
Testing if the member at a given slot is visible.
isVisible() - Method in class agg.xt_basis.GraphObject
 
isWaitingAfterLayer() - Method in class agg.xt_basis.LayeredGraTraImpl
 
isWin32() - Static method in class agg.attribute.impl.AttrSession
System queries.
itsArcs - Variable in class agg.xt_basis.Graph
 
itsAtomics - Variable in class agg.xt_basis.GraGra
The set of my atomic graph constraints.
itsAttr - Variable in class agg.xt_basis.GraphObject
 
itsAttrContext - Variable in class agg.xt_basis.Graph
 
itsAttrContext - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsAttrManager - Variable in class agg.xt_basis.Graph
 
itsAttrManager - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsAttrMappings - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsCodomObjects - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsCoMorph - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsCompleter - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsConstraints - Variable in class agg.xt_basis.GraGra
The set of my constraints ( formulae ).
itsContext - Variable in class agg.xt_basis.GraphObject
 
itsContextUsage - Variable in class agg.xt_basis.GraphObject
 
itsDomain - Variable in class agg.util.csp.CSP
 
itsDomObjects - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsGraph - Variable in class agg.xt_basis.GraGra
My host graph.
itsGraphs - Variable in class agg.xt_basis.GraGra
 
itsImag - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsIncomingArcs - Variable in class agg.xt_basis.GraphObject
 
itsInteractiveFlag - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsMatches - Variable in class agg.xt_basis.GraGra
The set of my matches.
itsNACs - Variable in class agg.xt_basis.Rule
 
itsName - Variable in class agg.xt_basis.GraGra
 
itsName - Variable in class agg.xt_basis.Graph
 
itsName - Variable in class agg.xt_basis.MorphCompletionStrategy
 
itsName - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsNodes - Variable in class agg.xt_basis.Graph
 
itsOrig - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsOutgoingArcs - Variable in class agg.xt_basis.GraphObject
 
itsPackages - Variable in class agg.xt_basis.GraGra
The set of the used packages of the Java classes.
itsPACs - Variable in class agg.xt_basis.Rule
 
itsProperties - Variable in class agg.xt_basis.MorphCompletionStrategy
 
itsRules - Variable in class agg.xt_basis.GraGra
The set of my rules.
itsSolver - Variable in class agg.util.csp.CSP
 
itsSource - Variable in class agg.xt_basis.GraphObject
 
itsStartGraph - Variable in class agg.xt_basis.GraGra
My start graph.
itsSupportedProperties - Static variable in class agg.xt_basis.Completion_CSP
 
itsTarget - Variable in class agg.xt_basis.GraphObject
 
itsTouchedFlag - Variable in class agg.util.csp.CSP
 
itsTouchedFlag - Variable in class agg.xt_basis.OrdinaryMorphism
 
itsType - Variable in class agg.xt_basis.GraphObject
 
itsTypeObjectsMap - Variable in class agg.xt_basis.Graph
 
itsTypes - Variable in class agg.xt_basis.Graph
object for creating types, checking types and holding the type graph
itsUsedAtomics - Variable in class agg.xt_basis.Rule
 
itsUsedFormulas - Variable in class agg.xt_basis.Rule
 
itsUsingMorphs - Variable in class agg.xt_basis.Graph
 
itsVar1 - Variable in class agg.util.csp.BinaryConstraint
 
itsVar2 - Variable in class agg.util.csp.BinaryConstraint
 
itsWeight - Variable in class agg.util.csp.BinaryConstraint
 
itsWeight - Variable in class agg.util.csp.Query
 

A B C D E F G H I J K L M N O P Q R S T U V W X