fr.inria.oadymppac.solver.parsing.adapter
Class DefaultCauseAdapter

java.lang.Object
  extended byfr.inria.oadymppac.solver.parsing.adapter.AbstractAdapter
      extended byfr.inria.oadymppac.solver.parsing.adapter.DefaultAdapter
          extended byfr.inria.oadymppac.solver.parsing.adapter.DefaultCauseAdapter
All Implemented Interfaces:
CauseAdapter, SolverAdapter, SolverManagable

public class DefaultCauseAdapter
extends DefaultAdapter
implements CauseAdapter

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

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.solver.parsing.adapter.SolverAdapter
NONE
 
Constructor Summary
DefaultCauseAdapter(Solver solver)
           
 
Method Summary
 void adapt(CauseInfo info, Cause element)
           
 void adapt(CauseListInfo info, Explanation element)
           
 void adapt(ValueListInfo info, Cause element)
           
 
Methods inherited from class fr.inria.oadymppac.solver.parsing.adapter.AbstractAdapter
adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, getSolver, setSolver
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 

Constructor Detail

DefaultCauseAdapter

public DefaultCauseAdapter(Solver solver)
Parameters:
solver -
Method Detail

adapt

public void adapt(CauseListInfo info,
                  Explanation element)
           throws SolverException
Overrides:
adapt in class AbstractAdapter
Throws:
SolverException

adapt

public void adapt(CauseInfo info,
                  Cause element)
           throws SolverException
Specified by:
adapt in interface CauseAdapter
Overrides:
adapt in class AbstractAdapter
Throws:
SolverException

adapt

public void adapt(ValueListInfo info,
                  Cause element)
           throws SolverException
Throws:
SolverException