java.lang.Object
org.maxicp.modeling.SymbolicBranching
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptiontoRunnableBranching(Supplier<SymbolicModel[]> branching, ModelProxy mp) static Supplier<SymbolicModel[]> toSymbolicBranching(Supplier<Runnable[]> branching, ModelProxy mp)
-
Constructor Details
-
SymbolicBranching
public SymbolicBranching()
-
-
Method Details
-
toSymbolicBranching
public static Supplier<SymbolicModel[]> toSymbolicBranching(Supplier<Runnable[]> branching, ModelProxy mp) -
toRunnableBranching
public static Supplier<Runnable[]> toRunnableBranching(Supplier<SymbolicModel[]> branching, ModelProxy mp)
-