ExDatalog.Explain.Node (ExDatalog v0.2.0)

Copy Markdown View Source

A node in a derivation tree representing a rule-derived fact.

Fields

  • fact — the derived tuple.
  • rule_id — which rule produced this fact (references the IR rule).
  • children — derivation nodes for the body atoms that contributed. Only positive body atoms have children; negative atoms and constraints do not.

Summary

Types

t()

Types

t()

@type t() :: %ExDatalog.Explain.Node{
  children: [ExDatalog.Explain.derivation()],
  fact: tuple(),
  rule_id: non_neg_integer()
}