|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Solver | Created by IntelliJ IDEA. |
Class Summary | |
---|---|
Configuration | User : cprudhom Mail : cprudhom(a)emn.fr Date : 21 avr. 2010br/> Since : Choco 2.1.1 |
Solution | A class storing a state of the model |
Enum Summary | |
---|---|
ResolutionPolicy | User : cprudhom Mail : cprudhom(a)emn.fr Date : 6 mai 2010 Since : Choco 2.1.1 Define enum for solver resolution policy. |
Exception Summary | |
---|---|
ContradictionException | An exception thrown when a contradiction achieved. |
SolverException |
Annotation Types Summary | |
---|---|
Configuration.Default | Annotation to define a default value for a field. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |