Package solver.constraints.nary.cnf

Examples of solver.constraints.nary.cnf.PropTrue

168
169
170
171
172
173
174
175
176
177
        this.engine = NoPropagationEngine.SINGLETON;
        ZERO = (BoolVar) VF.fixed(0, this);
        ONE = (BoolVar) VF.fixed(1, this);
        ZERO._setNot(ONE);
        ONE._setNot(ZERO);
        TRUE = new Constraint("TRUE cstr", new PropTrue(ONE));
        FALSE = new Constraint("FALSE cstr", new PropFalse(ZERO));
        solutionRecorder = new LastSolutionRecorder(new Solution(), false, this);
        set(ObjectiveManager.SAT());
    }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
    super("AllDifferent",createPropagators(vars, type));
  }

  private static Propagator<IntVar>[] createPropagators(IntVar[] VARS, String consistency) {
    if(VARS.length<=1){
      return new Propagator[]{new PropTrue(VARS[0].getSolver().ONE)};
    }
    switch (AllDifferent.Type.valueOf(consistency)) {
      case NEQS: {
        int s = VARS.length;
        int k = 0;
View Full Code Here
TOP

Related Classes of solver.constraints.nary.cnf.PropTrue

  • solver.constraints.nary.alldifferent.AllDifferent
  • solver.Solver
    • 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.