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 theAbstractConstraintProcessor.ConstraintFunctions.TransitiveConstraintFinder A transitive constraint/variables finder.FailedElementDetails Class for storing Failed elements details.FailedElements Part of theFailedRules.ScopeAssignments Class contains variables that were assigned in a specific scope.. -
Enum Summary Enum Description AbstractConstraintProcessor.ExpressionType Expression types.