concepts.dsl.dsl_types.Variable

class Variable

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:

• name (str | StateObjectReference)

• dtype (ObjectType | ValueType | FunctionType)

__new__(**kwargs)

clone_with_scope(scope)

Parameters:

scope (int)

set_quantifier_flag(flag)

Parameters:

flag (str)

set_scope(scope)

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