Struct ActionRegistry 

pub struct ActionRegistry { /* private fields */ }

A live registry of action handles for use by typed primitives.

Maps table name to TableAction (plus the shared UnionAction and the default-panic external-function id) and is owned by the bridge EGraph. The state wrappers (PureState/ReadState/ WriteState/FullState) live in the egglog crate; they read from this registry at invoke time to back name-indexed action methods. Held by the bridge EGraph inside an Arc<RwLock<_>>.

Implementations

impl ActionRegistry

pub fn lookup_table(&self, name: &str) -> Option<&TableAction>

Look up the TableAction for a table by name, or None if no table with that name has been registered.

pub fn table_sizes(&self, state: &ExecutionState<'_>) -> Vec<(&str, usize)>

Snapshot the registered table names and their current row counts.

pub fn union_action(&self) -> &UnionAction

The shared UnionAction for this EGraph’s union-find.

pub fn default_panic_id(&self) -> ExternalFunctionId

The default panic external function id, used by the egglog crate’s ActionView::panic.

Trait Implementations

impl Clone for ActionRegistry

fn clone(&self) -> ActionRegistry

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.