concepts.dsl.expression.ValueCompareExpression#

class ValueCompareExpression[source]#

Bases: _CompareExpressionBase

Methods

`cached_string`([max_length])
`check_arguments`()

Attributes

`arguments`
`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`
`compare_op`	The comparison operation.
`lhs`	The left-hand side of the comparison.
`rhs`	The right-hand side of the comparison.

OpType#: alias of CompareOpType

__init__(compare_op, lhs, rhs)#

Parameters:

compare_op (CompareOpType)
lhs (ObjectOrValueOutputExpression)
rhs (ObjectOrValueOutputExpression)

__new__(**kwargs)#

cached_string(max_length=None)#

Parameters:: max_length (int | None)

check_arguments()#

property arguments: Tuple[ObjectOrValueOutputExpression, ObjectOrValueOutputExpression]#

compare_op: CompareOpType#: The comparison operation.

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#

lhs: ValueOutputExpression#: The left-hand side of the comparison.

property return_type: ValueType#

rhs: ValueOutputExpression#: The right-hand side of the comparison.