choco.cp.solver.constraints.reified
Class ReifiedFactory

java.lang.Object
  extended by choco.cp.solver.constraints.reified.ReifiedFactory

public class ReifiedFactory
extends Object

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 20 mai 2010
Since : Choco 2.1.1


Method Summary
static SConstraint builder(IntDomainVar bool, SConstraint cons, SConstraint oppcons, Solver solver)
          Following the type of constraints, create a reified constraint.
static SConstraint builder(IntDomainVar bool, SConstraint cons, Solver s)
          Following the type of constraints, create a reified constraint.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

builder

public static SConstraint builder(IntDomainVar bool,
                                  SConstraint cons,
                                  Solver s)
Following the type of constraints, create a reified constraint.

Parameters:
bool - boolean variable for reification
cons - a constraint
solver - the solver
Returns:
a SConstraint
Throws:
UnsupportedOperationException - when an expression constraint is in the scope.

builder

public static SConstraint builder(IntDomainVar bool,
                                  SConstraint cons,
                                  SConstraint oppcons,
                                  Solver solver)
Following the type of constraints, create a reified constraint.

Parameters:
bool - boolean variable for reification
cons - a constraint
oppcons - the opposite constraint of cons
solver -
Returns:
a SConstraint
Throws:
UnsupportedOperationException - when an expression constraint is in the scope.


Copyright © 2012. All Rights Reserved.