Struct TableAction 

pub struct TableAction { /* private fields */ }

This is an intern-able struct that holds all the data needed to do table operations with an ExecutionState, assuming that the FunctionId for the table is known ahead of time.

Implementations

impl TableAction

pub fn new(egraph: &EGraph, func: FunctionId) -> TableAction

Create a new TableAction to be used later. This requires access to the egglog_bridge::EGraph.

pub fn kind(&self) -> TableKind

Whether this table is a Function (no auto-insert) or a Constructor (mints a fresh eclass id on miss).

pub fn input_arity(&self) -> usize

Number of input columns (schema minus the trailing output column).

pub fn lookup(&self, state: &ExecutionState<'_>, key: &[Value]) -> Option<Value>

Look up a row and return its return-value column, or None if the key is not present. This is a pure read: it never inserts a row, regardless of the table’s configured DefaultVal.

For the lookup-or-insert behavior that mints fresh eclass IDs for constructors, use TableAction::lookup_or_insert.

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

Return the current number of rows in this table.

pub fn for_each(&self, state: &ExecutionState<'_>, f: impl FnMut(ScanEntry<'_>))

Iterate this table’s rows, calling f on each function row. Mirrors EGraph::for_each but reaches the table through an ExecutionState — so it’s callable from primitive bodies via the typed Read-style API.

pub fn for_each_while( &self, state: &ExecutionState<'_>, f: impl FnMut(ScanEntry<'_>) -> bool, )

Like TableAction::for_each, but stops as soon as f returns false.

pub fn lookup_or_insert( &self, state: &mut ExecutionState<'_>, key: &[Value], ) -> Option<Value>

Look up a row, inserting the configured default value if absent. For constructor tables this mints a fresh eclass ID; for custom functions (no default) this behaves identically to TableAction::lookup.

This is a write operation — only safe in action contexts. See issue #772.

pub fn insert( &self, state: &mut ExecutionState<'_>, row: impl Iterator<Item = Value>, )

Insert a row into this table.

pub fn remove(&self, state: &mut ExecutionState<'_>, key: &[Value])

Delete a row from this table.

pub fn subsume( &self, state: &mut ExecutionState<'_>, key: impl Iterator<Item = Value>, )

Subsume a row in this table.

Trait Implementations

impl Clone for TableAction

fn clone(&self) -> TableAction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TableAction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for TableAction

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TableAction

fn eq(&self, other: &TableAction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TableAction

impl StructuralPartialEq for TableAction