Package net.ssehub.easy.reasoning.sseReasoner.model

Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

See: Description

Class Summary

Class	Description
ContextStack	Implements a context stack for nested translations.
ContextStack.Context	A linked stack entry.
ReasoningUtils	Utility methods for reasoning/constraint resolution.
SubstitutionVisitor	Substitutes variables in a constraint syntax tree by copying the syntax tree.
VariablesInConstraintFinder	Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
VariablesInNotSimpleAssignmentConstraintsFinder	A visitor to retrieve variables from constraints.
VariablesMap	A holder for a map reflecting all variable and constraint relationship.

Package net.ssehub.easy.reasoning.sseReasoner.model Description

Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Author:

Sizonenko