Theoria.Equation.Matcher.Indexed.Realization.Plan (theoria v0.7.0)

Copy Markdown View Source

Realization plan for an indexed matcher equation package.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Matcher.Indexed.Realization.Plan{
  blockers: [atom()],
  equations: [Theoria.Equation.Matcher.Indexed.Realization.EquationPlan.t()],
  matcher: atom(),
  realizable?: boolean()
}