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

Packages that use RestoreManager
fr.inria.oadymppac.solver   
 

Uses of RestoreManager in fr.inria.oadymppac.solver
 

Methods in fr.inria.oadymppac.solver that return RestoreManager
static RestoreManager RestoreManager.getRestoreManager(Solver solver)