Package org.xcsp.parser.loaders
Class CtrLoaderSymbolic
- java.lang.Object
-
- org.xcsp.parser.loaders.CtrLoaderSymbolic
-
public class CtrLoaderSymbolic extends Object
-
-
Constructor Summary
Constructors Constructor Description CtrLoaderSymbolic(XCallbacks xc)
-
-
-
Constructor Detail
-
CtrLoaderSymbolic
public CtrLoaderSymbolic(XCallbacks xc)
-
-
Method Detail
-
load
public void load(XConstraints.XCtr c)
-
-