choco.cp.solver.constraints.integer.bool
Class BooleanFactory

java.lang.Object
  extended by choco.cp.solver.constraints.integer.bool.BooleanFactory

public class BooleanFactory
extends Object

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


Constructor Summary
BooleanFactory()
           
 
Method Summary
static AbstractSConstraint<IntDomainVar> and(IntDomainVar... booleans)
          Builder for AND constraint over integer variables
static AbstractSConstraint<IntDomainVar> identity(IntDomainVar bool)
          Builder for NOT constraint over an integer variable
static AbstractSConstraint<IntDomainVar> nand(IEnvironment environment, IntDomainVar... booleans)
          Builder for NAND constraint over integer variables
static AbstractSConstraint<IntDomainVar> nor(IntDomainVar... booleans)
          Builder for NOR constraint over integer variables
static AbstractSConstraint<IntDomainVar> not(IntDomainVar bool)
          Builder for NOT constraint over an integer variable
static AbstractSConstraint<IntDomainVar> or(IEnvironment environment, IntDomainVar... booleans)
          Builder for OR constraint over integer variables
static AbstractSConstraint<IntDomainVar> xnor(IntDomainVar... booleans)
          Builder for XOR constraint over integer variables
static AbstractSConstraint<IntDomainVar> xor(IntDomainVar... booleans)
          Builder for XOR constraint over integer variables
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BooleanFactory

public BooleanFactory()
Method Detail

and

public static AbstractSConstraint<IntDomainVar> and(IntDomainVar... booleans)
Builder for AND constraint over integer variables

Parameters:
booleans - booleans variables
Returns:
AND constraint

nand

public static AbstractSConstraint<IntDomainVar> nand(IEnvironment environment,
                                                     IntDomainVar... booleans)
Builder for NAND constraint over integer variables

Parameters:
booleans - booleans variables
Returns:
NAND constraint

or

public static AbstractSConstraint<IntDomainVar> or(IEnvironment environment,
                                                   IntDomainVar... booleans)
Builder for OR constraint over integer variables

Parameters:
environment -
booleans - booleans variables
Returns:
OR constraint

nor

public static AbstractSConstraint<IntDomainVar> nor(IntDomainVar... booleans)
Builder for NOR constraint over integer variables

Parameters:
environment -
booleans - booleans variables
Returns:
NOR constraint

xor

public static AbstractSConstraint<IntDomainVar> xor(IntDomainVar... booleans)
Builder for XOR constraint over integer variables

Parameters:
booleans - booleans variables
Returns:
XOR constraint

xnor

public static AbstractSConstraint<IntDomainVar> xnor(IntDomainVar... booleans)
Builder for XOR constraint over integer variables

Parameters:
booleans - booleans variables
Returns:
XOR constraint

not

public static AbstractSConstraint<IntDomainVar> not(IntDomainVar bool)
Builder for NOT constraint over an integer variable

Parameters:
bool - boolean variable
Returns:
NOT constraint

identity

public static AbstractSConstraint<IntDomainVar> identity(IntDomainVar bool)
Builder for NOT constraint over an integer variable

Parameters:
bool - boolean variable
Returns:
NOT constraint


Copyright © 2012. All Rights Reserved.