Class XVariables.XVarInteger

  • All Implemented Interfaces:
    IVar, IVar.Var
    Enclosing class:
    XVariables

    public static final class XVariables.XVarInteger
    extends XVariables.XVar
    implements IVar.Var
    The following classes are introduced, only for being able to have types for variables in the parser interface
    • Constructor Detail

      • XVarInteger

        protected XVarInteger​(String id,
                              Types.TypeVar type,
                              Domains.IDom dom)
        Builds an integer variable with the specified id, type and domain.
    • Method Detail

      • domainCartesianProductSize

        public static long domainCartesianProductSize​(XVariables.XVarInteger[] scp)
        Returns the size of the Cartesian product for the domains of the specified variables. Importantly, if this value does not fit within a long, -1 is returned.
      • firstValue

        public long firstValue()
      • lastValue

        public long lastValue()
      • isZeroOne

        public boolean isZeroOne()