Bedrock  >  Structures  >  AutomatedReasoningPolicyDisjointRuleSet

AutomatedReasoningPolicyDisjointRuleSet

Structure Class

AutomatedReasoningPolicyDisjointRuleSet dataclass

Represents a set of rules that operate on completely separate variables, indicating they address different concerns or domains within the policy.

Attributes

rules instance-attribute

rules: list[str]

The list of rules that form this disjoint set, all operating on the same set of variables.

variables instance-attribute

variables: list[str]

The set of variables that are used by the rules in this disjoint set.