View Source Permit.Permissions.DisjunctiveNormalForm (permit v0.2.0)

Describes conditions written as logical formula in disjunctive normal form.

Example of a compound condition in DNF is:

(condition 1 AND condition 2)
OR (condition 3)
OR (condition 4 AND condition 5 AND condition 6)

Part of the private API, subject to changes and not to be used on the application level.

Summary

t()

@type t() :: %Permit.Permissions.DisjunctiveNormalForm{
  disjunctions: [Permit.Permissions.ParsedConditionList.t()]
}

@spec add_clauses(t(), [Permit.Permissions.ParsedCondition.t()]) :: t()

@spec any_satisfied?(
  t(),
  Permit.Types.object_or_resource_module(),
  Permit.Types.subject()
) :: boolean()

@spec concatenate(t(), t()) :: t()

@spec new([Permit.Permissions.ParsedConditionList.t()]) :: t()