AutomatedReasoningPolicyMutation¶
Union Type¶
module-attribute
¶
AutomatedReasoningPolicyMutation = Union[AutomatedReasoningPolicyMutationAddType | AutomatedReasoningPolicyMutationUpdateType | AutomatedReasoningPolicyMutationDeleteType | AutomatedReasoningPolicyMutationAddVariable | AutomatedReasoningPolicyMutationUpdateVariable | AutomatedReasoningPolicyMutationDeleteVariable | AutomatedReasoningPolicyMutationAddRule | AutomatedReasoningPolicyMutationUpdateRule | AutomatedReasoningPolicyMutationDeleteRule | AutomatedReasoningPolicyMutationUnknown]
A container for various mutation operations that can be applied to an Automated Reasoning policy, including adding, updating, and deleting policy elements.
Union Member Types¶
dataclass
¶
A mutation to add a new custom type to the policy.
Attributes¶
dataclass
¶
A mutation to modify an existing custom type in the policy.
Attributes¶
dataclass
¶
A mutation to remove a custom type from the policy.
Attributes¶
dataclass
¶
A mutation to add a new variable to the policy.
Attributes¶
dataclass
¶
A mutation to modify an existing variable in the policy.
Attributes¶
dataclass
¶
A mutation to remove a variable from the policy.
Attributes¶
dataclass
¶
A mutation to add a new rule to the policy.
Attributes¶
dataclass
¶
A mutation to modify an existing rule in the policy.