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 SubstitutionVisitor	Resolver.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 SubstitutionVisitor	TypeCache.substVisitor

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return SubstitutionVisitor

Modifier and Type	Method	Description
SubstitutionVisitor	SubstitutionVisitor.addVariableMapping(AbstractVariable orig, ConstraintSyntaxTree ex)	Adds a variable mapping to be considered during substitution.
SubstitutionVisitor	SubstitutionVisitor.addVariableMapping(AbstractVariable orig, AbstractVariable dest, int derefCount)	Adds a variable mapping to be considered during substitution.
SubstitutionVisitor	SubstitutionVisitor.clearVariableMapping()	Clears the entire variable mapping.
SubstitutionVisitor	SubstitutionVisitor.clearVariableMapping(AbstractVariable var)	Clears the mapping for a given variable.
SubstitutionVisitor	SubstitutionVisitor.setSelf(ConstraintSyntaxTree selfEx)	Defines self in terms of an expression.
SubstitutionVisitor	SubstitutionVisitor.setSelf(AbstractVariable self)	Defines self in terms of a variable declaration.