Examples of csp.datatypes.IntegerEnumeratedVariable

        Integer intFalse = ((IntegerConstant)exp.getFalseExpression()).getConstant();
        ArrayList<Integer> values = new ArrayList<Integer>();
        values.add(intTrue);
        values.add(intFalse);
        Collections.sort(values);
        IntegerEnumeratedVariable aux = getNewEnumeratedDummy(values);
        dummyEnumeratedVars.add(aux);
        auxName = aux.getName();
      } else {
        IntegerDomainVariable aux = getNewDummyVariable(lowestVal,highestVal);
        dummyDomainVars.add(aux);
        auxName = aux.getName();
      }
      String cond = constraintToTailor(exp.getCondition());
      String expTrue = exp.getTrueExpression().accept(this);
      String expFalse = exp.getFalseExpression().accept(this);
      StringBuffer buff = new StringBuffer ();

      extraConstraints.add("!" + "(" + cond + ")" + " => " + "(" + auxName + "=" + expFalse + ")");
      return auxName;
    }


    private IntegerEnumeratedVariable getNewEnumeratedDummy(ArrayList<Integer> values) {
      return new IntegerEnumeratedVariable(dummyVar+(dummyCounter++),values);
    }

Related Classes of csp.datatypes.IntegerEnumeratedVariable

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.