Struct Atom 

pub struct Atom { /* private fields */ }

Implementations

impl Atom

pub fn new( id: AtomId, predicate: Rc<Predicate>, fact: bool, args: HashMap<String, Slot>, ) -> Self

pub fn id(&self) -> AtomId

pub fn predicate(&self) -> Rc<Predicate>

pub fn is_fact(&self) -> bool

Trait Implementations

impl Env for Atom

fn parent(&self) -> Option<Rc<dyn Env>>

Returns the parent environment of this environment, if any.

fn get_slots(&self) -> HashMap<String, Slot>

Returns a map of all variable names to their corresponding slots in this environment.

fn get(&self, name: &str) -> Option<Slot>

Returns the slot corresponding to the given variable name in this environment, if it exists.

fn set(&self, name: String, value: Slot)

Sets the slot corresponding to the given variable name in this environment.

impl Var for Atom

fn var_type(&self) -> Rc<dyn Type>

Returns the type of this variable.

fn as_any(self: Rc<Self>) -> Rc<dyn Any>

Returns a reference to this variable as a dyn Any for downcasting.

fn as_env(self: Rc<Self>) -> Option<Rc<dyn Env>>

Returns a reference to this variable as a dyn Env if it is an environment.