AutomatedReasoningPolicyAddTypeAnnotation¶
Structure Class¶
dataclass
¶
An annotation for adding a new custom type to an Automated Reasoning policy, defining a set of possible values for variables.
Attributes¶
class-attribute
instance-attribute
¶
description: str = field(repr=False)
A description of what the custom type represents and how it should be used in the policy.
class-attribute
instance-attribute
¶
name: str = field(repr=False)
The name of the new custom type. This name will be used to reference the type in variable definitions and rules.
instance-attribute
¶
values: list[AutomatedReasoningPolicyDefinitionTypeValue]
The list of possible values that variables of this type can take, each with its own description and identifier.