Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.