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.