concepts.dsl.dsl_types.Variable#

class Variable[source]#

Bases: _Placeholder

The class representing a variable in a function.

Methods

set_quantifier_flag(flag)

Attributes

quantifier_flag

Additional quantifier flag for the variable.

typename

name

The name of the variable.

dtype

The data type of the variable.

__init__(name, dtype)#
Parameters:
__new__(**kwargs)#
set_quantifier_flag(flag)[source]#
Parameters:

flag (str) –

dtype: ObjectType | ValueType | FunctionType#

The data type of the variable.

name: str#

The name of the variable.

quantifier_flag: str | None = None#

Additional quantifier flag for the variable. This flag will be set by the parser indicating the quantifier scope of this variable. Currently this is only used in PDSketch for “quantified variable” in regression rules.

property typename#