Uses of Interface
org.xcsp.parser.callbacks.XCallbacks
-
Packages that use XCallbacks Package Description org.xcsp.parser.callbacks org.xcsp.parser.loaders -
-
Uses of XCallbacks in org.xcsp.parser.callbacks
Subinterfaces of XCallbacks in org.xcsp.parser.callbacks Modifier and Type Interface Description interface
XCallbacks2
Classes in org.xcsp.parser.callbacks that implement XCallbacks 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.Constructors in org.xcsp.parser.callbacks with parameters of type XCallbacks Constructor Description Implem(XCallbacks xc)
Builds the object that will be used during the process of loading an XCSP3 instance. -
Uses of XCallbacks in org.xcsp.parser.loaders
Constructors in org.xcsp.parser.loaders with parameters of type XCallbacks Constructor Description CtrLoaderInteger(XCallbacks xc)
Builds an object that can be used to load integer constraints.CtrLoaderSymbolic(XCallbacks xc)
-