org.sat4j.minisat.core

Interface ISimplifier

All Superinterfaces:

Serializable

public interface ISimplifier
extends Serializable

Strategy for simplifying the conflict clause derived by the solver.

Author:

daniel

Method Summary

Methods

Modifier and Type	Method and Description
void	simplify(IVecInt outLearnt)

Method Detail

simplify

void simplify(IVecInt outLearnt)