org.sat4j.minisat.core
Interface Learner

All Known Implementing Classes:
PBSolver, Solver

public interface Learner

Author:
leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Method Summary
 void learn(Constr c)
           
 

Method Detail

learn

void learn(Constr c)