org.sat4j.csp.constraints
Class AllDiff

java.lang.Object
  org.sat4j.csp.constraints.AllDiff

All Implemented Interfaces:

Clausifiable

public class AllDiff
extends java.lang.Object
implements Clausifiable

Constructor Summary

AllDiff()

Method Summary

void	toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, org.sat4j.specs.IVec<Evaluable> vars)

Methods inherited from class java.lang.Object

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

Constructor Detail

AllDiff

public AllDiff()

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

Throws:

org.sat4j.specs.ContradictionException