Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat.core
Interface Learner

All Known Implementing Classes:
PBSolver, PBSolverCautious, PBSolverClause, PBSolverCP, PBSolverMerging, PBSolverResCP, PBSolverResolution, PBSolverWithImpliedClause, Solver
public interface Learner

Provide the learning service.

Author:
leberre

Method Summary
 void learn(Constr c)
           
 

Method Detail

learn

void learn(Constr c)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.