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

Packages that use ExplanationAdapter
fr.inria.oadymppac.solver.parsing.adapter   
 

Uses of ExplanationAdapter in fr.inria.oadymppac.solver.parsing.adapter
 

Classes in fr.inria.oadymppac.solver.parsing.adapter that implement ExplanationAdapter
 class DefaultExplanationAdapter
           
 

Methods in fr.inria.oadymppac.solver.parsing.adapter that return ExplanationAdapter
 ExplanationAdapter ReduceAdapter.getExplanationAdapter()
           
 ExplanationAdapter DefaultReduceAdapter.getExplanationAdapter()
           
 

Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type ExplanationAdapter
 void ReduceAdapter.setExplanationAdapter(ExplanationAdapter adapter)
           
 void DefaultReduceAdapter.setExplanationAdapter(ExplanationAdapter explanationAdapter)