Interface mainConstants

All Known Implementing Classes:
main

public interface mainConstants
  • Field Details

    • UNSPECIFIED

      static final int UNSPECIFIED
      This enum is used internally to do dynamic typing on subclasses of integer
      variables.
    • DOMAIN_INT_VAR

      static final int DOMAIN_INT_VAR
    • BOOLEAN_VAR

      static final int BOOLEAN_VAR
    • CONST_VAR

      static final int CONST_VAR
    • VAR_ADD_CST

      static final int VAR_ADD_CST
    • VAR_TIMES_CST

      static final int VAR_TIMES_CST
    • CST_SUB_VAR

      static final int CST_SUB_VAR
    • OPP_VAR

      static final int OPP_VAR
    • TRACE_VAR

      static final int TRACE_VAR