- All Known Subinterfaces:
ConcreteModel
- All Known Implementing Classes:
ConcreteCPModel,ConcreteModelProxy,SymbolicModel
public interface Model
-
Method Summary
Modifier and TypeMethodDescription
-
Method Details
-
symbolicCopy
SymbolicModel symbolicCopy() -
getConstraints
Iterable<Constraint> getConstraints() -
getModelProxy
ModelProxy getModelProxy()
-