picos.expressions.set¶
Backend for mathematical set type implementations.
Classes
- class picos.expressions.set.Set(typeStr, symbStr)[source]¶
Bases:
ABC
Abstract base class for mathematical set expressions.
- classmethod make_type(*args, **kwargs)[source]¶
Analog to
expression.Expression.make_type
.
- replace_mutables(new_mutables)[source]¶
See
replace_mutables
.
- property mutables¶
Return a Python set of mutables 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
.
- class picos.expressions.set.SetType(theClass, subtype)[source]¶
Bases:
ExpressionType
ExpressionType
for sets.