|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |