org.sat4j.csp.constraints

Class AllDiff

java.lang.Object

org.sat4j.csp.constraints.AllDiff

All Implemented Interfaces:

Clausifiable

Direct Known Subclasses:

AllDiffCard

public class AllDiff
extends Object
implements Clausifiable

Constructor Summary

Constructors

Constructor and Description
AllDiff()

Method Summary

Methods

Modifier and Type	Method and Description
void	toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AllDiff

public AllDiff()

Method Detail

toClause

public void toClause(ISolver solver,
            IVec<Var> scope,
            IVec<Evaluable> vars)
              throws ContradictionException

Specified by:

toClause in interface Clausifiable

Throws:

ContradictionException

toString

public String toString()

Overrides:

toString in class Object