Struct ModelPy

pub struct ModelPy(/* private fields */);

DyPDL model.

Parameters

maximize: bool, default: false Maximize the cost or not. float_cost: bool, default: false Use a continuous value to represent the cost or not.

Examples

Create a model.

import didppy as dp model = dp.Model(maximize=False, float_cost=False) model.maximize False model.float_cost False

Get and set the target state.

import didppy as dp model = dp.Model() var = model.add_int_var(target=4) state = model.target_state state[var] 4 state[var] = 5 model.target_state = state model.target_state[var] 5

Implementations

impl ModelPy

pub fn inner_as_ref(&self) -> &Model

Get the model as reference.

impl ModelPy

pub fn float_cost(&self) -> bool

bool : If the cost is represented by a continuous value or not.

pub fn target_state(&self) -> StatePy

State : Target state.

Trait Implementations

impl Clone for ModelPy

fn clone(&self) -> ModelPy

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModelPy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ModelPy

fn default() -> ModelPy

Returns the “default value” for a type.

impl From<Model> for ModelPy

fn from(model: Model) -> Self

Converts to this type from the input type.

impl From<ModelPy> for Model

fn from(model: ModelPy) -> Self

Converts to this type from the input type.

impl IntoPy<Py<PyAny>> for ModelPy

fn into_py(self, py: Python<'_>) -> PyObject

👎Deprecated since 0.23.0: IntoPy is going to be replaced by IntoPyObject. See the migration guide (https://pyo3.rs/v0.23.0/migration) for more information.

Performs the conversion.

impl<'py> IntoPyObject<'py> for ModelPy

type Target = ModelPy

The Python output type

type Output = Bound<'py, <ModelPy as IntoPyObject<'py>>::Target>

The smart pointer type to use.

type Error = PyErr

The type returned in the event of a conversion error.

fn into_pyobject( self, py: Python<'py>, ) -> Result<<Self as IntoPyObject<'_>>::Output, <Self as IntoPyObject<'_>>::Error>

Performs the conversion.

impl PartialEq for ModelPy

fn eq(&self, other: &ModelPy) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PyClass for ModelPy

type Frozen = False

Whether the pyclass is frozen.

impl PyClassImpl for ModelPy

const IS_BASETYPE: bool = false

#[pyclass(subclass)]

const IS_SUBCLASS: bool = false

#[pyclass(extends=…)]

const IS_MAPPING: bool = false

#[pyclass(mapping)]

const IS_SEQUENCE: bool = false

#[pyclass(sequence)]

type BaseType = PyAny

Base class

type ThreadChecker = SendablePyClass<ModelPy>

This handles following two situations:

type PyClassMutability = <<PyAny as PyClassBaseType>::PyClassMutability as PyClassMutability>::MutableChild

Immutable or mutable

type Dict = PyClassDummySlot

Specify this class has #[pyclass(dict)] or not.

type WeakRef = PyClassDummySlot

Specify this class has #[pyclass(weakref)] or not.

type BaseNativeType = PyAny

The closest native ancestor. This is PyAny by default, and when you declare #[pyclass(extends=PyDict)], it’s PyDict.

fn items_iter() -> PyClassItemsIter

fn doc(py: Python<'_>) -> PyResult<&'static CStr>

Rendered class doc

fn lazy_type_object() -> &'static LazyTypeObject<Self>

fn dict_offset() -> Option<isize>

fn weaklist_offset() -> Option<isize>

impl PyClassNewTextSignature<ModelPy> for PyClassImplCollector<ModelPy>

fn new_text_signature(self) -> Option<&'static str>

impl<'a, 'py> PyFunctionArgument<'a, 'py> for &'a ModelPy

type Holder = Option<PyRef<'py, ModelPy>>

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

impl<'a, 'py> PyFunctionArgument<'a, 'py> for &'a mut ModelPy

type Holder = Option<PyRefMut<'py, ModelPy>>

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

impl PyMethods<ModelPy> for PyClassImplCollector<ModelPy>

fn py_methods(self) -> &'static PyClassItems

impl PyTypeInfo for ModelPy

const NAME: &'static str = "Model"

Class name.

const MODULE: Option<&'static str> = ::core::option::Option::None

Module name, if any.

fn type_object_raw(py: Python<'_>) -> *mut PyTypeObject

Returns the PyTypeObject instance for this type.

fn type_object(py: Python<'_>) -> Bound<'_, PyType>

Returns the safe abstraction over the type object.

fn type_object_bound(py: Python<'_>) -> Bound<'_, PyType>

👎Deprecated since 0.23.0: renamed to PyTypeInfo::type_object

Deprecated name for PyTypeInfo::type_object.

fn is_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type or a subclass of this type.

fn is_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0: renamed to PyTypeInfo::is_type_of

Deprecated name for PyTypeInfo::is_type_of.

fn is_exact_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type.

fn is_exact_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0: renamed to PyTypeInfo::is_exact_type_of

Deprecated name for PyTypeInfo::is_exact_type_of.

impl DerefToPyAny for ModelPy

impl StructuralPartialEq for ModelPy