Examples of javax.constraints.Constraint.post()

javax.constraints.Constraint.post()

   * @throws RuntimeException if the posting fails 
   * @return a newly created constraint
   */
  public Constraint postElement(Set[] arrayOfSets, Var indexVar, String oper, VarSet setVar) {
    Constraint c = new ConstraintElementAtOnSets(setVar, arrayOfSets, indexVar);
    c.post();
    return c;
  }
  
//  /**
//   * This method is defined for Set[] similarly to the "elementAt" for int[].

View Full Code Here

   * @param value
   * @return constraint
   */
  public Constraint postCardinality(Var[] vars, int cardValue, String oper, int value) {
    Constraint c = add(new Cardinality(vars, cardValue, oper, value));
    c.post();
    return c;
  }
  
  /**
   * This method is similar to the one above but instead of �value�

View Full Code Here

   * This method is similar to the one above but instead of �value� 
   * the �cardinality(vars,cardValue)� is being constrained by �var�.
   */
  public Constraint postCardinality(Var[] vars, int cardValue, String oper, Var var) {
    Constraint c = add(new Cardinality(vars, cardValue, oper, var));
    c.post();
    return c;
  }
  
  /**
   * This method is similar to the one above but instead of �cardValue�

View Full Code Here

   * This method is similar to the one above but instead of �cardValue� 
   * it uses "cardVar"
   */
  public Constraint postCardinality(Var[] vars, Var cardVar, String oper, Var var) {
    Constraint c = add(new Cardinality(vars, cardVar, oper, var));
    c.post();
    return c;
  }
  
  /**
   * This method is similar to the one above but instead of �var�

View Full Code Here

   * This method is similar to the one above but instead of �var� 
   * it uses "value"
   */
  public Constraint postCardinality(Var[] vars, Var cardVar, String oper, int value) {
    Constraint c = add(new Cardinality(vars, cardVar, oper, value));
    c.post();
    return c;
  }
  
  public Constraint postGlobalCardinality(Var[] vars, int[] values, Var[] cardinalityVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars,values));

View Full Code Here

    return c;
  }
  
  public Constraint postGlobalCardinality(Var[] vars, int[] values, Var[] cardinalityVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars,values));
    c.post();
    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars));

View Full Code Here

    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars));
    c.post();
    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars, Var[] valueVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars,valueVars));

View Full Code Here

    return c;
  }
  
  public Constraint constraintGlobalCardinality(Var[] vars, Var[] cardinalityVars, Var[] valueVars) {
    Constraint c = add(new GlobalCardinality(vars,cardinalityVars,valueVars));
    c.post();
    return c;
  }
  


  public Solver createSolver() {

View Full Code Here

    while (iter2.hasNext()) {
      values[u++] = ((Integer)iter2.next()).intValue();
    }
    VarSet setVar = variableSet("indexVarSet for "+indexVar.getName(), values);
    Constraint c = new ConstraintElementAtOnSets(setVar,sets,indexVar);
    c.post();
    return setVar;
  }
  
  /**
   * Returns the constant constraint that always will fail when it is posted or executed.

View Full Code Here

0 1

TOP

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.