concepts.dsl.dsl_types.Variable#

class Variable[source]#

Bases: _Placeholder

The class representing a variable in a function.

Methods

clone_with_scope(scope)

set_quantifier_flag(flag)

set_scope(scope)

Attributes

quantifier_flag

Additional quantifier flag for the variable.

scope

An additional integer indicating the scope identifier of the variable.

typename

name

The name of the variable.

dtype

The data type of the variable.

__init__(name, dtype)#
Parameters:
__new__(**kwargs)#
clone_with_scope(scope)[source]#
Parameters:

scope (int) –

set_quantifier_flag(flag)[source]#
Parameters:

flag (str) –

set_scope(scope)[source]#
Parameters:

scope (int) –

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.

scope: int = -1#

An additional integer indicating the scope identifier of the variable.

property typename#