org.sat4j.tools.xplain

Interface Explainer

All Known Implementing Classes:

HighLevelXplain, Xplain, XplainPB

public interface Explainer

Method Summary

Methods

Modifier and Type	Method and Description
int[]	minimalExplanation()
void	setMinimizationStrategy(MinimizationStrategy explainer)

Method Detail

minimalExplanation

int[] minimalExplanation()
                         throws TimeoutException

Throws:

TimeoutException

setMinimizationStrategy

void setMinimizationStrategy(MinimizationStrategy explainer)