Struct ModuleSpace 

pub struct ModuleSpace { /* private fields */ }

Implementations

impl ModuleSpace

pub fn new(space: DynSpace) -> Self

pub fn main(&self) -> DynSpace

pub fn query(&self, query: &Atom) -> BindingsSet

pub fn add_dep(&mut self, space: DynSpace)

pub fn deps(&self) -> &Vec<DynSpace>

Trait Implementations

impl Debug for ModuleSpace

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

Formats the value using the given formatter.

impl Display for ModuleSpace

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

Formats the value using the given formatter.

impl Space for ModuleSpace

fn common(&self) -> FlexRef<'_, SpaceCommon>

Access the SpaceCommon object owned by the Space

fn query(&self, query: &Atom) -> BindingsSet

Executes query on the space and returns variable bindings found. Query may include sub-queries glued by [grounding::COMMA_SYMBOL] symbol. Each Bindings instance in the returned [BindingsSet] represents single result.

fn atom_count(&self) -> Option<usize>

Returns the number of Atoms in the space, or None if this can’t be determined

fn visit(&self, v: &mut dyn SpaceVisitor) -> Result<(), ()>

Visit each atom of the space and call [SpaceVisitor::accept] method. This method is optional. Return Err(()) if method is not implemented. Cow<Atom> is used to allow passing both references and values. First is appropriate for collection based atomspace. Second one is more usable if atomspace is a generator or when values cannot be extracted easily and should be reconstructed instead.

fn as_any(&self) -> &dyn Any

Returns an &dyn Any for spaces where this is possible

fn subst(&self, pattern: &Atom, template: &Atom) -> Vec<Atom>

Executes pattern query on the space and for each result substitutes variables in template by the values from pattern. Returns results of the substitution.

impl SpaceMut for ModuleSpace

fn add(&mut self, atom: Atom)

Adds atom into space.

fn remove(&mut self, atom: &Atom) -> bool

Removes atom from space. Returns true if atom was found and removed, and false otherwise.

fn replace(&mut self, from: &Atom, to: Atom) -> bool

Replaces from atom to to atom inside space. Doesn’t add to when from is not found. Returns true if atom was found and replaced, and false otherwise.

fn as_any_mut(&mut self) -> &mut dyn Any

Returns an &mut dyn Any for spaces where this is possible