Package net.ssehub.easy.reasoning.sseReasoner.functions

Package contains custom functions for IVML.

Class Summary

Class	Description
AbstractConstraintProcessor	Interface for a generic constraint processor functor (avoid collections, process directly).
ConstraintFunctions	Generic constraint functions based on the AbstractConstraintProcessor.
ConstraintFunctions.TransitiveConstraintFinder	A transitive constraint/variables finder.
FailedElementDetails	Class for storing Failed elements details.
FailedElements	Part of the FailedRules.
ScopeAssignments	Class contains variables that were assigned in a specific scope..

Enum Summary

Enum	Description
AbstractConstraintProcessor.ExpressionType	Expression types.