picos.expressions.set

Backend for mathematical set type implementations.

Classes

class picos.expressions.set.Set(typeStr, symbStr)

Bases: abc.ABC

Abstract base class for mathematical set expressions.

__init__(typeStr, symbStr)

Perform basic initialization for Set instances.

Parameters

• typeStr (str) – Short string denoting the set type.

• symbStr (str) – Algebraic string description of the set.

__lshift__(other)

__rshift__(other)

classmethod make_type(*args, **kwargs)

Analog to expression.Expression.make_type.

replace_mutables(new_mutables)

See replace_mutables.

property mutables

Return a Python set of mutables that are involved in the set.

property parameters

The set of parameters that are involved in the set.

property refined

The set itself, as sets do not support refinement.

This exists for compatibility with expressions.

property string

Symbolic string representation of the set.

property subtype

Analog to expression.Expression.subtype.

property type

Analog to expression.Expression.type.

property variables

The set of decision variables that are involved in the set.

class picos.expressions.set.SetType(theClass, subtype)

Bases: picos.expressions.expression.ExpressionType

ExpressionType for sets.