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


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