fr.inria.oadymppac.solver.parsing.adapter
Interface ExplanationAdapter

All Known Implementing Classes:
DefaultExplanationAdapter

public interface ExplanationAdapter

Author:
raf TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Method Summary
 void adapt(CauseListInfo info, Explanation element)
           
 void adapt(ConstraintsInfo info, Explanation element)
           
 void adapt(ExplanationInfo info, Explanation element)
           
 void adapt(ExplanationListInfo info, Reduce element)
           
 CauseAdapter getCauseAdapter()
           
 ValueListAdapter getValueListAdapter()
           
 void setCauseAdapter(CauseAdapter causeAdapter)
           
 void setValueListAdapter(ValueListAdapter adapter)
           
 

Method Detail

adapt

public void adapt(CauseListInfo info,
                  Explanation element)
           throws SolverException
Throws:
SolverException

adapt

public void adapt(ConstraintsInfo info,
                  Explanation element)
           throws SolverException
Throws:
SolverException

adapt

public void adapt(ExplanationInfo info,
                  Explanation element)
           throws SolverException
Throws:
SolverException

adapt

public void adapt(ExplanationListInfo info,
                  Reduce element)
           throws SolverException
Throws:
SolverException

getValueListAdapter

public ValueListAdapter getValueListAdapter()

setValueListAdapter

public void setValueListAdapter(ValueListAdapter adapter)

getCauseAdapter

public CauseAdapter getCauseAdapter()

setCauseAdapter

public void setCauseAdapter(CauseAdapter causeAdapter)