AutomatedReasoningPolicyUpdateVariableAnnotation¶
Structure Class¶
dataclass
¶
An annotation for modifying an existing variable in an Automated Reasoning policy.
Attributes¶
class-attribute
instance-attribute
¶
description: str | None = field(repr=False, default=None)
The new description for the variable, replacing the previous description.
class-attribute
instance-attribute
¶
name: str = field(repr=False)
The current name of the variable to update.
class-attribute
instance-attribute
¶
new_name: str | None = field(repr=False, default=None)
The new name for the variable, if you want to rename it. If not provided, the name remains unchanged.