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_degree_bound: DegreeBound, allowed_senses: set[Sense], regular_constraint_degree_bounds: Optional[Mapping[Equality, DegreeBound]] = None, indicator_constraint_degree_bounds: Optional[Mapping[Equality, DegreeBound]] = 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_constraint_degree_bounds: dict[Equality, DegreeBound]#: Read-only property.

property label: str#

Read-only property.

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

property objective_degree_bound: DegreeBound#: Read-only property.

property regular_constraint_degree_bounds: dict[Equality, DegreeBound]#: Read-only property.