org.sat4j.minisat.core
Interface Learner

All Known Implementing Classes:
Solver

public interface Learner

Provide the learning service.

Author:
leberre

Method Summary
 void learn(Constr c)
           
 

Method Detail

learn

void learn(Constr c)


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