Uses of Class
net.ssehub.easy.reasoning.sseReasoner.model.ContextStack
Packages that use ContextStack
Package
Description
Package contains the EASy-Producer reasoner implementation classes.
Package contains custom functions for IVML.
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 ContextStackMethods in net.ssehub.easy.reasoning.sseReasoner that return ContextStack -
Uses of ContextStack in net.ssehub.easy.reasoning.sseReasoner.functions
Methods in net.ssehub.easy.reasoning.sseReasoner.functions that return ContextStackModifier and TypeMethodDescriptionabstract ContextStackAbstractConstraintProcessor.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 ContextStackMethods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ContextStackModifier and TypeMethodDescriptionvoidSubstitutionVisitor.setMappings(ContextStack globalMapping) Sets the mapping.voidTypeCache.transferToContext(net.ssehub.easy.varModel.model.datatypes.IDatatype type, ContextStack contexts, net.ssehub.easy.varModel.model.AbstractVariable var) Transfers all accessors stored inTypeCache.Entry.varMapinto the actual context incontextsby instantiating them.Constructors in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ContextStackModifierConstructorDescriptionSubstitutionVisitor(ContextStack globalMapping) Creates a copy visitor with explicit mapping.