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(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.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(org.sat4j.specs.ISolver solver,
            org.sat4j.specs.IVec<Var> scope,
            org.sat4j.specs.IVec<Evaluable> vars)
              throws org.sat4j.specs.ContradictionException

Specified by:

toClause in interface Clausifiable

Overrides:

toClause in class AllDiff

Throws:

org.sat4j.specs.ContradictionException

toString

public String toString()

Overrides:

toString in class AllDiff