ommx_fixstars_amplify_adapter.amplify_to_ommx

Classes

OMMXInstanceBuilder

Build ommx.Instance from the Model of Fixstars Amplify.

Functions

model_to_instance(→ ommx.Instance)

The function to create an ommx.Instance from the Fixstars Amplify model.

Module Contents

class ommx_fixstars_amplify_adapter.amplify_to_ommx.OMMXInstanceBuilder

Build ommx.Instance from the Model of Fixstars Amplify.

_convert_constraints() → Tuple[Dict[int, ommx.Constraint], Dict[int, ommx.OneHotConstraint]]

_detect_one_hot(*, poly: amplify.Poly, rhs: float) → List[int] | None

_is_empty_model() → bool

_poly_to_ommx(poly: amplify.Poly, constant: float = 0.0) → ommx.Function: Convert from the polynomial of the Fixstars Amplify SDK to the object of ommx.

build() → ommx.Instance

decision_variables() → List[ommx.DecisionVariable]

objective() → ommx.Function

sense()

model: amplify.Model

ommx_fixstars_amplify_adapter.amplify_to_ommx.model_to_instance(model: amplify.Model) → ommx.Instance

The function to create an ommx.Instance from the Fixstars Amplify model.

Example:

The following example shows how to create an ommx.Instance from a Fixstars Amplify model.

>>> import amplify
>>> from ommx_fixstars_amplify_adapter import model_to_instance
>>>
>>> gen = amplify.VariableGenerator()
>>> x = gen.scalar("Binary", name="x")
>>> model = amplify.Model(x)
>>>
>>> ommx_instance = model_to_instance(model)