org.sat4j.tools.xplain
Interface Explainer

All Known Implementing Classes:
HighLevelXplain, Xplain, XplainPB

public interface Explainer


Method Summary
 int[] minimalExplanation()
           
 void setMinimizationStrategy(MinimizationStrategy explainer)
           
 

Method Detail

minimalExplanation

int[] minimalExplanation()
                         throws TimeoutException
Throws:
TimeoutException

setMinimizationStrategy

void setMinimizationStrategy(MinimizationStrategy explainer)


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