concepts.dsl.constraint.Assignment#

class Assignment[source]#

Bases: object

An assignment of a variable.

Methods

Attributes

`assignment_type`	Alias of assignment.t.
`data`	Alias of assignment.d.
`generator_index`
`t`	the type of the assignment.
`d`	the value of the variable.

__init__(t, d, generator_index=None)#

Parameters:

t (AssignmentType)
d (bool | int | None | TensorValue)
generator_index (Tuple[str, int] | None)

Return type:

None

__new__(**kwargs)#

property assignment_type#: Alias of assignment.t.

d: bool | int | None | TensorValue#

the value of the variable.

EQUAL: The variable is equal to another variable.
VALUE: The variable is equal to a value.
IGNORE: The variable is ignored. This happens when the variable does not appear in any constraint.

property data#: Alias of assignment.d.

generator_index: Tuple[str, int] | None = None#

t: AssignmentType#

the type of the assignment. There are three types:

EQUAL: The variable is equal to another variable. VALUE: The variable is equal to a value. IGNORE: The variable is ignored. This happens when the variable does not appear in any constraint.