Uses of Class
net.ssehub.easy.reasoning.sseReasoner.model.SubstitutionVisitor
-
Packages that use SubstitutionVisitor Package Description net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes.net.ssehub.easy.reasoning.sseReasoner.model Package for creating a reasoning model: constraint container, project hierachy evaluator and other. -
-
Uses of SubstitutionVisitor in net.ssehub.easy.reasoning.sseReasoner
Fields in net.ssehub.easy.reasoning.sseReasoner declared as SubstitutionVisitor Modifier and Type Field Description private SubstitutionVisitorResolver. substVisitor -
Uses of SubstitutionVisitor in net.ssehub.easy.reasoning.sseReasoner.model
Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as SubstitutionVisitor Modifier and Type Field Description private SubstitutionVisitorTypeCache. substVisitorMethods in net.ssehub.easy.reasoning.sseReasoner.model that return SubstitutionVisitor Modifier and Type Method Description SubstitutionVisitorSubstitutionVisitor. addVariableMapping(AbstractVariable orig, ConstraintSyntaxTree ex)Adds a variable mapping to be considered during substitution.SubstitutionVisitorSubstitutionVisitor. addVariableMapping(AbstractVariable orig, AbstractVariable dest, int derefCount)Adds a variable mapping to be considered during substitution.SubstitutionVisitorSubstitutionVisitor. clearVariableMapping()Clears the entire variable mapping.SubstitutionVisitorSubstitutionVisitor. clearVariableMapping(AbstractVariable var)Clears the mapping for a given variable.SubstitutionVisitorSubstitutionVisitor. setSelf(ConstraintSyntaxTree selfEx)Defines self in terms of an expression.SubstitutionVisitorSubstitutionVisitor. setSelf(AbstractVariable self)Defines self in terms of a variable declaration.
-