org.sat4j.csp

Interface Clausifiable

All Known Subinterfaces:

Relation

All Known Implementing Classes:

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

public interface Clausifiable

Method Summary

Methods

Modifier and Type	Method and Description
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