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.DefaultValueTranslator Turns partial compound default values into complete values as EASy allows only one default assignment per variable.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.