Package org.xcsp.parser.callbacks
-
Interface Summary Interface Description XCallbacks This interface can be implemented to benefit from the parsing process of a Java parser.XCallbacks2 -
Class Summary Class Description 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.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.SolutionChecker This class allows us to check solutions and bounds obtained for XCSP3 instances.XCallbacks.Implem The class that contains all data structures (objects) that are used during the process of loading the XCSP3 instance. -
Enum Summary Enum Description XCallbacks.XCallbacksParameters The constants that can be used to pilot the parser.