org.sat4j.csp
Interface Clausifiable

All Known Subinterfaces:

Relation

All Known Implementing Classes:

AllDiff, BessiereSupports, GentSupports, Nogoods, Predicate, Supports, WalshSupports

public interface Clausifiable

Method Summary

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

Method Detail

toClause

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

Throws:

ContradictionException