An IR stratum: a group of rules and relations that must be evaluated together, ordered by stratum index.
Summary
Types
@type t() :: %ExDatalog.IR.Stratum{ index: non_neg_integer(), relations: [String.t()], rule_ids: [non_neg_integer()] }
An IR stratum: a group of rules and relations that must be evaluated together, ordered by stratum index.
@type t() :: %ExDatalog.IR.Stratum{ index: non_neg_integer(), relations: [String.t()], rule_ids: [non_neg_integer()] }