concepts.dsl.expression.ConstantExpression#

class ConstantExpression[source]#

Bases: ValueOutputExpression

Constant expression always returns a constant value.

Methods

`cached_string`([max_length])
`check_arguments`()
`false`()
`float32`(value)
`from_value`(value[, dtype])
`int64`(value)
`string`(value)
`true`()

Attributes

`FALSE`
`TRUE`
`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`
`constant`	The constant.

__init__(value, dtype=None)[source]#

Parameters:

value (bool | int | float | str | Tensor | Any | ValueBase)
dtype (ValueType | None)

__new__(**kwargs)#

cached_string(max_length=None)#

Parameters:: max_length (int | None)

check_arguments()#

classmethod false()[source]#

classmethod float32(value)[source]#

classmethod from_value(value, dtype=None)[source]#

Parameters:: dtype (ValueType | None)

classmethod int64(value)[source]#

classmethod string(value)[source]#

classmethod true()[source]#

FALSE = ConstantExpression<C::0>#

TRUE = ConstantExpression<C::1>#

constant: ValueBase#: The constant.

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#

property return_type: ValueType | ListType#