Uses of Class
fr.inria.oadymppac.solver.DeltaManager

Packages that use DeltaManager
fr.inria.oadymppac.solver   
 

Uses of DeltaManager in fr.inria.oadymppac.solver
 

Methods in fr.inria.oadymppac.solver that return DeltaManager
static DeltaManager DeltaManager.getDeltaManager(Solver solver)