concepts.dsl.expression.GeneralizedQuantificationExpression#

class GeneralizedQuantificationExpression[source]#

Bases: ValueOutputExpression

Methods

cached_string([max_length])

check_arguments()

Attributes

return_type

quantification_op

The quantification operation.

variable

The quantified variable.

expression

The internal expression.

__init__(quantification_op, variable, expr, return_type=None)[source]#
Parameters:
__new__(**kwargs)#
cached_string(max_length=None)#
Parameters:

max_length (int | None) –

check_arguments()#
expression: ValueOutputExpression#

The internal expression.

quantification_op: Any#

The quantification operation. It can be any data type.

property return_type: ValueType#
variable: Variable#

The quantified variable.