AutomatedReasoningPolicyDefinitionType¶
Structure Class¶
dataclass
¶
Represents a custom user-defined viarble type in an Automated Reasoning policy. Types are enum-based and provide additional context beyond predefined variable types.
Attributes¶
class-attribute
instance-attribute
¶
description: str | None = field(repr=False, default=None)
The description of what the custom type represents.
class-attribute
instance-attribute
¶
name: str = field(repr=False)
The name of the custom type.
instance-attribute
¶
values: list[AutomatedReasoningPolicyDefinitionTypeValue]
The possible values for this enum-based type, each with its own description.