Module org.maxicp
Package org.maxicp.modeling

Interface ModelProxy

All Known Subinterfaces:
ModelProxyInstantiator, ModelProxyInstantiatorWithCP
All Known Implementing Classes:
BasicModelProxy, ModelDispatcher
public interface ModelProxy
Maintains the current model and proxies calls to it.

  • Method Details

    • getModel

      Model getModel()

    • isSymbolic

      default boolean isSymbolic()

    • isConcrete

      default boolean isConcrete()

    • getSymbolicModel

      default SymbolicModel getSymbolicModel()
      Returns the current symbolic model (if isConcrete() is true, it returns a symbolic copy of the current Concrete model)

    • getConcreteModel

      default ConcreteModel getConcreteModel() throws ModelProxy.NotConcreteException
      Returns the current ConcreteModel. isConcrete() needs to be true, otherwise it raises NotConcreteException.
      Throws:
      ModelProxy.NotConcreteException

    • add

      default void add(Constraint c)

    • add

      default void add(BoolExpression c)

    • fixpoint

      default void fixpoint()

    • add

      default void add(Constraint c, boolean enforceFixPoint)
      Shortcut for baseModel.getModel().add(c, enforceFixPoint);
      Parameters:
      c - constraint to add

    • add

      default void add(BoolExpression c, boolean enforceFixPoint)

    • runWithModel

      default <R> R runWithModel(ConcreteModel model, Supplier<R> fun)

    • runWithModel

      default void runWithModel(ConcreteModel model, Runnable fun)

    • setModel

      <T extends Model> T setModel(T m)