Packages

aarondb

2.4.5
2.4.5 2.4.0

A high-performance, analytical Datalog engine for Gleam

HexDocs

Current section

Files

Jump to
Readme
2 Versions
12 Dependencies
Dependants
Files
Activity
aarondb include aarondb@engine@solver_context_SolverContext.hrl
Raw

include/aarondb@engine@solver_context_SolverContext.hrl 

-record(solver_context, {

    db_state :: aarondb@shared@state:db_state(),

    rules :: list(aarondb@shared@ast:rule()),

    derived :: gleam@set:set(aarondb@fact:datom()),

    as_of_tx :: gleam@option:option(integer()),

    as_of_valid :: gleam@option:option(integer())

}).