Package org.xcsp.parser.loaders
-
Class Summary Class Description ConstraintRecognizer CtrLoaderInteger This class allows us to load integer constraints, at parsing time.CtrLoaderSymbolic
| Class | Description |
|---|---|
| ConstraintRecognizer | |
| CtrLoaderInteger |
This class allows us to load integer constraints, at parsing time.
|
| CtrLoaderSymbolic |