Package com.exigen.ie.constrainer

Examples of com.exigen.ie.constrainer.Constrainer

91
92
93
94
95
96
97
98
99
100
101
    this("");
  }

  public Problem(String id) {
    super(id);
    constrainer = new Constrainer(id);
    falseConstraint = null;
    trueConstraint = null;
    setDomainType(DomainType.DOMAIN_SMALL);
    //log(getImplVersion());
    if (!id.isEmpty())
View Full Code Here
730
731
732
733
734
735
736
737
738
739
740
    constraint.setImpl(constrainerVar.constrainer().addConstraint(exp));
  }

  public IntExpArray getExpArray(Var[] vars) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp exp = (IntExp) vars[i].getImpl();
      cVars.set(exp, i);
    }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
   * Example: cardinality(vars,cardVar) < value
   */
  public Cardinality(Var[] vars, Var cardVar, String oper, int value) {
    super(vars[0].getProblem(),name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    try {
      IntExp cVar = (IntExp) cardVar.getImpl();
      IntExp cardinality = constrainer.cardinality(cVars,cVar);
      problem.defineConstraintImpl(this, cardinality, oper, value);
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create constraint "+name);
    }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
 

 
  public void defineNativeImpl(Var[] vars, Var[] cardVars, int[] values) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);   
    IntExpArray cCardinalityVars = problem.getExpArray(cardVars);
    try {
      IntExpArray cards = constrainer.distribute(cVars,values);
      Constraint newC = new ConstrainerIntExpArrayEq(cards,cCardinalityVars);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create GlobalCardinality constraint");
    }   
  }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
    }   
  }
 
  public void defineNativeImpl(Var[] vars, Var[] cardVars, Var[] valueVars) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    IntExpArray cValueVars = problem.getExpArray(valueVars);
    IntExpArray cCardVars = problem.getExpArray(valueVars);
    try {
      IntArrayCards givenCards = cCardVars.cards();
      IntArrayCards distributedCards = constrainer.distribute(cVars,cValueVars);
      Constraint newC = new ConstrainerArrayCardsEq(distributedCards,givenCards);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create GlobalCardinality constraint");
    }
  }
View Full Code Here
26
27
28
29
30
31
32
33
34
35
36
  static final String name = "Element";
 
  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 {
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
  }
 
  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 {
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
  }
 
  public Element(Var[] vars, Var indexVar, String oper, int value) {
    super(indexVar.getProblem(),name);
    Problem problem = (Problem) indexVar.getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp exp = (IntExp)vars[i].getImpl();
      intvars.set(exp, i);
    }
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
  }
 
  public Element(Var[] vars, Var indexVar, String oper, Var var) {
    super(indexVar.getProblem(),name);
    Problem problem = (Problem) indexVar.getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp exp = (IntExp)vars[i].getImpl();
      intvars.set(exp, i);
    }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
54
  }

  public Linear(int[] values, Var[] vars, String oper, int value) {
    super(vars[0].getProblem(), name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp cvar = (IntExp) vars[i].getImpl();
      intvars.set(cvar, i);
    }
    IntExp scalProd = constrainer.scalarProduct(intvars, values);
    problem.defineConstraintImpl(this, scalProd, oper, value);
  }
View Full Code Here
TOP

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

  • com.exigen.ie.constrainer.impl.ConstraintAllDiff
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff2
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff3
  • com.exigen.ie.constrainer.impl.ExpressionFactoryImpl
  • com.exigen.ie.constrainer.impl.FloatVarImpl
  • com.exigen.ie.constrainer.impl.FloatVarImplTrace
  • com.exigen.ie.constrainer.impl.GoalStack
  • com.exigen.ie.constrainer.impl.IntBoolVarImpl
  • com.exigen.ie.constrainer.impl.IntExpCardIntExp
  • com.exigen.ie.constrainer.impl.IntSetVarImpl
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.