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 interfaceXCallbacks2Classes in org.xcsp.parser.callbacks that implement XCallbacks Modifier and Type Class Description classCompetitionValidatorThis class is used to test if XCSP3 instances are valid according to the scope of the current (2018) XCSP3 competition of constraint solvers.classFeatureDisplayerThis 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.classSolutionCheckerThis 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)
-