Examples of com.exigen.ie.constrainer.IntArray

com.exigen.ie.constrainer.IntArray
It is an array-like container for the variables of type
IntExp
. The essential difference between
IntArray
and
IntExpArray
is that the former is able to use a variable of type
IntExp
as index. If an "index" in an "array" is a constrained integer expression, then the "array[index]" is also the constrained integer variable. To get the access to the element of an array using constrained index one has to use method {@link #elementAt(IntExp)}.

  
  public Element(int[] array, Var indexVar, String oper, int value) {
    super(indexVar.getProblem(),name);
    Problem problem = (Problem) indexVar.getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntArray intValues = new IntArray(constrainer, array.length);
    for (int i = 0; i < array.length; i++) {
      intValues.set(array[i], i);
    }
    try {
      IntExp element = intValues.elementAt((IntExp) indexVar.getImpl());
      problem.defineConstraintImpl(this, element, oper, value);
    } 
    catch (Exception f) {
      throw new RuntimeException("Failure to create constraint "+name);
    }

View Full Code Here

  
  public Element(int[] array, Var indexVar, String oper, Var var) {
    super(indexVar.getProblem(),name);
    Problem problem = (Problem) indexVar.getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntArray intValues = new IntArray(constrainer, array.length);
    for (int i = 0; i < array.length; i++) {
      intValues.set(array[i], i);
    }
    try {
      IntExp element = intValues.elementAt((IntExp) indexVar.getImpl());
      problem.defineConstraintImpl(this, element, oper, var);
    } 
    catch (Exception f) {
      throw new RuntimeException("Failure to create constraint "+name);
    }

View Full Code Here

TOP

Related Classes of com.exigen.ie.constrainer.IntArray

com.exigen.ie.constrainer.impl.IntExpElementAt

javax.constraints.impl.constraint.Element

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.