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 lookup( &self, state: &mut ExecutionState<'_>, key: &[Value], ) -> Option<Value>

A “table lookup” is not a read-only operation. It will insert a row when the DefaultVal for the table is not DefaultVal::Fail and the args in [Lookup::run] are not already present in the table.

pub fn insert( &mut 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( &mut self, state: &mut ExecutionState<'_>, key: impl Iterator<Item = Value>, )

Subsume a row in this table.

Trait Implementations

impl Clone for TableAction

fn clone(&self) -> Self

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