Uses of Class
net.ssehub.easy.reasoning.sseReasoner.model.ContextStack

Packages that use ContextStack

Package	Description
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Uses of ContextStack in net.ssehub.easy.reasoning.sseReasoner

Fields in net.ssehub.easy.reasoning.sseReasoner declared as ContextStack

Modifier and Type	Field	Description
private ContextStack	Resolver.contexts

Methods in net.ssehub.easy.reasoning.sseReasoner that return ContextStack

Modifier and Type	Method	Description
ContextStack	Resolver.OtherConstraintsProcessor.getContextStack()

Uses of ContextStack in net.ssehub.easy.reasoning.sseReasoner.functions

Methods in net.ssehub.easy.reasoning.sseReasoner.functions that return ContextStack

Modifier and Type	Method	Description
abstract ContextStack	AbstractConstraintProcessor.getContextStack()	Returns the context stack, e.g., for type exclusions.

Uses of ContextStack in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as ContextStack

Modifier and Type	Field	Description
private ContextStack	SubstitutionVisitor.globalMapping

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ContextStack

Modifier and Type	Method	Description
void	SubstitutionVisitor.setMappings(ContextStack globalMapping)	Sets the mapping.
void	TypeCache.transferToContext(IDatatype type, ContextStack contexts, AbstractVariable var)	Transfers all accessors stored in TypeCache.Entry.varMap into the actual context in contexts by instantiating them.

Constructors in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ContextStack

Constructor	Description
SubstitutionVisitor(ContextStack globalMapping)	Creates a copy visitor with explicit mapping.