concepts.dsl.expression.Expression#

class Expression[source]#

Bases: ABC

Expression is an abstract class for all expressions in the DSL. An important note about Expression is that the class itself does not contain any “implementation.”

For example, the expression and(x, y, z) does not contain any information about how to compute the conjunction (e.g., taking the product of the three values). The actual implementation of the expression will be provided by the Executor classes.

Methods

cached_string([max_length])

check_arguments()

Attributes

is_and_expr

is_constant_bool_expr

is_exists_expr

is_forall_expr

is_implies_expr

is_not_expr

is_null_expression

is_object_output_expression

is_or_expr

is_value_output_expression

is_variable_assignment_expression

is_xor_expr

return_type

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

max_length (int | None) –

check_arguments()[source]#
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#
abstract property return_type: ObjectType | ValueType | FunctionType | SequenceType | None#