org.sat4j.minisat.core

Interface Learner

All Known Subinterfaces:

ICDCL<D>

All Known Implementing Classes:

Solver

public interface Learner

Provide the learning service.

Author:

leberre

Method Summary

Methods

Modifier and Type	Method and Description
void	learn(Constr c)

Method Detail

learn

void learn(Constr c)