org.sat4j.reader.csp
Class AllDiff

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

All Implemented Interfaces:

Clausifiable

public class AllDiff
extends java.lang.Object
implements Clausifiable

Constructor Summary

AllDiff()

Method Summary

void	toClause(ISolver solver, IVec<Var> scope, 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(ISolver solver,
                     IVec<Var> scope,
                     IVec<Evaluable> vars)
              throws ContradictionException

Specified by:

toClause in interface Clausifiable

Throws:

ContradictionException