Permit.Permissions.DisjunctiveNormalForm (permit v0.0.2)
Conditions written as logical formula in disjunctive normal form Disjunction of dual clauses
Link to this section Summary
Link to this section Types
@type t() :: %Permit.Permissions.DisjunctiveNormalForm{ disjunctions: [Permit.Permissions.ConditionClauses.t()] }
Link to this section Functions
Link to this function
add_clauses(dnf, clauses)
@spec add_clauses(t(), [Permit.Permissions.ParsedCondition.t()]) :: t()
Link to this function
any_satisfied?(disjunctive_normal_form, record, subject)
@spec any_satisfied?(t(), Permit.Types.resource(), Permit.Types.subject()) :: boolean()
Link to this function
join(disjunctive_normal_form1, disjunctive_normal_form2)
Link to this function
new(disjunctions \\ [])
@spec new([Permit.Permissions.ConditionClauses.t()]) :: t()