org.sat4j.csp.constraints
Class AllDiff

java.lang.Object
  extended by org.sat4j.csp.constraints.AllDiff
All Implemented Interfaces:
Clausifiable

public class AllDiff
extends 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


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.