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

Packages that use AnnotationManager
fr.inria.oadymppac.solver   
 

Uses of AnnotationManager in fr.inria.oadymppac.solver
 

Methods in fr.inria.oadymppac.solver that return AnnotationManager
static AnnotationManager AnnotationManager.getAnnotationManager(Solver solver)