concepts.dsl.expression.QuantificationExpression#

class QuantificationExpression[source]#

Bases: ValueOutputExpression

Methods

cached_string([max_length])

check_arguments()

Attributes

OpType#

alias of QuantificationOpType

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

max_length (int | None)

check_arguments()#
expression: ValueOutputExpression#

The internal expression.

property is_and_expr: bool#
property is_constant_bool_expr: bool#
property is_exists_expr: bool#
property is_forall_expr: bool#
property is_implies_expr: bool#
property is_not_expr: bool#
property is_null_expression: bool#
property is_object_output_expression: bool#
property is_or_expr: bool#
property is_value_output_expression: bool#
property is_variable_assignment_expression: bool#
property is_xor_expr: bool#
quantification_op: QuantificationOpType#

The quantification operation. Can be FORALL or EXISTS.

property return_type: ValueType#
variable: Variable#

The quantified variable.