concepts.dsl.constraint.OptimisticValueRecord

class OptimisticValueRecord

Bases: object

Methods

Attributes

is_group	Check if the optimistic value is a group.
is_in_group
identifier	The identifier of the optimistic value.
dtype	The dtype of the optimistic value.
domain	The domain of the optimistic value.
actionable	Whether the variable is actionable.
name	The name of the variable.
is_constant	Whether the variable is constant.
group_id	The group id of the variable.

__init__(identifier, dtype, domain=None, actionable=False, name=None, is_constant=False, group_id=0)

Parameters:

• identifier (int)

• dtype (TensorValueTypeBase | PyObjValueType | GroupTypeClass)

• domain (Set[Any] | None)

• actionable (bool)

• name (str | None)

• is_constant (bool)

• group_id (int)

__new__(**kwargs)

actionable: bool

Whether the variable is actionable.

domain: Set[Any] | None

The domain of the optimistic value.

dtype: TensorValueTypeBase | PyObjValueType | GroupTypeClass

The dtype of the optimistic value.

group_id: int

The group id of the variable. -1 if the variable is not a group.

identifier: int

The identifier of the optimistic value.

is_constant: bool

Whether the variable is constant.

property is_group: bool

Check if the optimistic value is a group.

property is_in_group: bool

name: str | None

The name of the variable.