picos.expressions.set

Backend for mathematical set type implementations.

Outline

Classes

Set	Abstract base class for mathematical set expressions.
SetType	ExpressionType for sets.

Classes

Set

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.

classmethod make_type(*args, **kwargs)

See picos.expressions.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

See picos.expressions.Expression.subtype.

property type

See picos.expressions.Expression.type.

property variables

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

SetType

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

Bases: picos.expressions.expression.ExpressionType

ExpressionType for sets.