Package net.ssehub.easy.reasoning.core.reasoner

Class ReasoningErrorCodes

  • public class ReasoningErrorCodes
extends java.lang.Object
    Specifies to witch kind of error belongs failed constraint in the message generated by the reasoner.
    Author:
    sizonenko

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int FAILED_CONSTRAINT
      Constraint not satisfied.
      static int FAILED_REASSIGNMENT
      Reassignment of the variable in the same scope or assigning value to the froozen variable.

    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • FAILED_REASSIGNMENT

        public static final int FAILED_REASSIGNMENT
        Reassignment of the variable in the same scope or assigning value to the froozen variable.
        See Also:
        Constant Field Values

      • FAILED_CONSTRAINT

        public static final int FAILED_CONSTRAINT
        Constraint not satisfied.
        See Also:
        Constant Field Values

    • Constructor Detail

      • ReasoningErrorCodes

        public ReasoningErrorCodes()