Uses of Interface
org.sat4j.minisat.core.VarActivityListener

Packages that use VarActivityListener

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.

Uses of VarActivityListener in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type VarActivityListener

void	LearningStrategy.setVarActivityListener(VarActivityListener s)

Uses of VarActivityListener in org.sat4j.minisat.learning

Methods in org.sat4j.minisat.learning with parameters of type VarActivityListener

void	LimitedLearning.setVarActivityListener(VarActivityListener s)