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)

@spec join(t(), t()) :: t()
Link to this function

new(disjunctions \\ [])