InstanceClassClause#

class InstanceClassClause#

One conjunctive clause in an :class:InstanceClass.

Every condition in a clause must hold. The containing instance class is the finite union of its clauses, so alternatives are not combined across clause boundaries.

__new__(*, label: str, allowed_variable_kinds: set[Kind], objective_polynomial_requirement: PolynomialRequirement, allowed_senses: set[Sense], regular_constraint_polynomial_requirements: Optional[Mapping[Equality, PolynomialRequirement]] = None, indicator_body_polynomial_requirements: Optional[Mapping[Equality, PolynomialRequirement]] = None, allows_one_hot: bool = False, allows_sos1: bool = False) → InstanceClassClause#

__repr__() → str#

property allowed_senses: set[Sense]#: Read-only property.

property allowed_variable_kinds: set[Kind]#: Read-only property.

property allows_one_hot: bool#: Read-only property.

property allows_sos1: bool#: Read-only property.

property indicator_body_polynomial_requirements: dict[Equality, PolynomialRequirement]#: Read-only property.

property label: str#

Read-only property.

Human-readable diagnostic label. It does not affect membership.

property objective_polynomial_requirement: PolynomialRequirement#: Read-only property.

property regular_constraint_polynomial_requirements: dict[Equality, PolynomialRequirement]#: Read-only property.