org.sat4j.csp.constraints

Class AllDiffCard

java.lang.Object

org.sat4j.csp.constraints.AllDiff

org.sat4j.csp.constraints.AllDiffCard

All Implemented Interfaces:

Clausifiable

public class AllDiffCard
extends AllDiff

Constructor Summary

Constructors

Constructor and Description
AllDiffCard()

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

AllDiffCard

public AllDiffCard()

Method Detail

toClause

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

Specified by:

toClause in interface Clausifiable

Overrides:

toClause in class AllDiff

Throws:

ContradictionException

toString

public String toString()

Overrides:

toString in class AllDiff