AutomatedReasoningPolicyMutation

A container for various mutation operations that can be applied to an Automated Reasoning policy, including adding, updating, and deleting policy elements.

Inheritors

Types

Link copied to clipboard

A mutation to add a new rule to the policy.

Link copied to clipboard

A mutation to add a new custom type to the policy.

Link copied to clipboard

A mutation to add a new variable to the policy.

Link copied to clipboard

A mutation to remove a rule from the policy.

Link copied to clipboard

A mutation to remove a custom type from the policy.

Link copied to clipboard

A mutation to remove a variable from the policy.

Link copied to clipboard
Link copied to clipboard

A mutation to modify an existing rule in the policy.

Link copied to clipboard

A mutation to modify an existing custom type in the policy.

Link copied to clipboard

A mutation to modify an existing variable in the policy.

Functions