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)[source]

Bases: abc.ABC

Abstract base class for mathematical set expressions.

__init__(typeStr, symbStr)[source]

Perform basic initialization for Set instances.

Parameters

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

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

replace_variables(new_variables)[source]

See replace_variables.

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

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

SetType

class picos.expressions.set.SetType(theClass, subtype)[source]

Bases: picos.expressions.expression.ExpressionType

ExpressionType for sets.