concepts.dsl.expression.ObjectConstantExpression#

class ObjectConstantExpression[source]#

Bases: ObjectOutputExpression

Methods

cached_string([max_length])

check_arguments()

Attributes

dtype

The type of the object.

is_and_expr

is_constant_bool_expr

is_constant_list

Whether the object is a constant list.

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

name

The name of the object.

return_type

constant

The object constant.

__init__(constant)[source]#
Parameters:

constant (ObjectConstant | ListValue) –

__new__(**kwargs)#
cached_string(max_length=None)#
Parameters:

max_length (int | None) –

check_arguments()#
constant: ObjectConstant | ListValue#

The object constant.

property dtype: ObjectType | ListType#

The type of the object.

property is_and_expr: bool#
property is_constant_bool_expr: bool#
property is_constant_list#

Whether the object is a constant list.

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#
property name: str#

The name of the object.

property return_type: ObjectType | ListType#