Struct Atom 

pub struct Atom { /* private fields */ }

Implementations

impl Atom

pub fn new( predicate: Rc<Predicate>, fact: bool, args: HashMap<String, Rc<dyn Var>>, ) -> Self

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

pub fn is_fact(&self) -> bool

Trait Implementations

impl Debug for Atom

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

Formats the value using the given formatter.

impl Env for Atom

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

fn get(&self, name: &str) -> Option<Rc<dyn Var>>

fn set(&self, name: String, value: Rc<dyn Var>)

impl Var for Atom

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

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

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