AutomatedReasoningPolicyDefinitionRule¶
Structure Class¶
AutomatedReasoningPolicyDefinitionRule
dataclass
¶
Represents a formal logic rule in an Automated Reasoning policy. For example, rules can be expressed as if-then statements that define logical constraints.
Attributes¶
alternate_expression
class-attribute
instance-attribute
¶
alternate_expression: str | None = field(repr=False, default=None)
The human-readable form of the rule expression, often in natural language or simplified notation.
expression
class-attribute
instance-attribute
¶
expression: str = field(repr=False)
The formal logic expression of the rule.