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

Method Detail

toClause

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

Throws:

org.sat4j.specs.ContradictionException