Uses of Interface
fr.inria.oadymppac.solver.Reduce

Packages that use Reduce
fr.inria.oadymppac.solver   
fr.inria.oadymppac.solver.analyser   
fr.inria.oadymppac.solver.parsing.adapter   
 

Uses of Reduce in fr.inria.oadymppac.solver
 

Classes in fr.inria.oadymppac.solver that implement Reduce
 class DefaultReduce
           
 

Methods in fr.inria.oadymppac.solver that return Reduce
 Reduce ReduceManager.get(int index)
          Returns the index's created variable.
 Reduce ReduceManager.get(java.lang.String key)
          Returns the index's created variable.
 Reduce Explanation.getReduce()
           
 Reduce DefaultExplanation.getReduce()
           
 

Methods in fr.inria.oadymppac.solver with parameters of type Reduce
 void Explanation.setReduce(Reduce reduce)
           
 void DefaultExplanation.setReduce(Reduce reduce)
           
 

Uses of Reduce in fr.inria.oadymppac.solver.analyser
 

Methods in fr.inria.oadymppac.solver.analyser with parameters of type Reduce
 void VariableConstraintGraphAnalyser.add(Reduce reduce)
           
 void SolverAnalyserImpl.add(Reduce reduce)
           
 void SolverAnalyser.add(Reduce reduce)
           
 void ConstraintConstraintGraphAnalyser.add(Reduce reduce)
           
 void ConstraintConstraintGraphAnalyser.initReduceEdge(Constraint ctr1, Constraint ctr2, Reduce reduce)
           
 

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

Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Reduce
 void ReduceAdapter.adapt(ExplanationListInfo info, Reduce element)
           
 void ReduceAdapter.adapt(ReduceInfo info, Reduce element)
           
 void ExplanationAdapter.adapt(ExplanationListInfo info, Reduce element)
           
 void DefaultReduceAdapter.adapt(ReduceInfo info, Reduce element)
           
 void DefaultExplanationAdapter.adapt(ExplanationListInfo info, Reduce element)
           
 void AbstractAdapter.adapt(DeltaInfo info, Reduce element)
           
 void AbstractAdapter.adapt(ExplanationListInfo info, Reduce element)
           
 void AbstractAdapter.adapt(ReduceInfo info, Reduce element)