Uses of Interface
org.xcsp.parser.callbacks.XCallbacks2
-
Packages that use XCallbacks2 Package Description org.xcsp.parser.callbacks -
-
Uses of XCallbacks2 in org.xcsp.parser.callbacks
Classes in org.xcsp.parser.callbacks that implement XCallbacks2 Modifier and Type Class Description class
CompetitionValidator
This class is used to test if XCSP3 instances are valid according to the scope of the current (2018) XCSP3 competition of constraint solvers.class
FeatureDisplayer
This class allows us to display some general information about XCSP3 instances, such the number of variables, the number of constraints, the distribution of constraints, etc.class
SolutionChecker
This class allows us to check solutions and bounds obtained for XCSP3 instances.
-