Package net.ssehub.easy.reasoning.sseReasoner.functions
package net.ssehub.easy.reasoning.sseReasoner.functions
Package contains custom functions for IVML.
-
ClassDescriptionInterface for a generic constraint processor functor (avoid collections, process directly).Expression types.Generic constraint functions based on the
AbstractConstraintProcessor.A transitive constraint/variables finder.Turns partial compound default values into complete values as EASy allows only one default assignment per variable.Class for storing Failed elements details.Stores violated elements detected during a reasoning process.Class contains variables that were assigned in a specific scope..