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 and Description
private ContextStack	Resolver.contexts

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

Modifier and Type	Method and 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 and 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 and Description
private ContextStack	SubstitutionVisitor.globalMapping

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

Modifier and Type	Method and Description
void	SubstitutionVisitor.setMappings(ContextStack globalMapping) Sets the mapping.

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

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