C# (CSharp) clafer.org.ir.ClaferIR Namespace

Classes

Name Description
CardinalityConstraintException
CardinalityOutOfBoundsException The exception is thrown when the extracted instances' cardinality does not correspond to the cardinality specified in the model.
ClaferCompilationException The exception is thrown when the extraction template model cannot be compiled.
ClaferException Top of the exception hierarchy of IntelligentET
ClaferIR
ClaferToXML The class provides functions to convert the text clafer model to Clafer IR XML . The clafer.exe compiler is used for the conversion.
ModelingErrorException The exception is thrown when the clafer model does not follow the specifications for the declaration of logical structures.