Struct StateAtom 

pub struct StateAtom { /* private fields */ }

Implementations

impl StateAtom

pub fn new(atom: Atom, typ: Atom) -> Self

Trait Implementations

impl Clone for StateAtom

fn clone(&self) -> StateAtom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateAtom

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

Formats the value using the given formatter.

impl Display for StateAtom

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

Formats the value using the given formatter.

impl Grounded for StateAtom

fn type_(&self) -> Atom

Returns type of the grounded atom. Should return same type each time it is called. [rust_type_atom] function can be used to implement default behavior if required.

fn as_execute(&self) -> Option<&dyn CustomExecute>

Returns reference to the custom execution API implementation. If None is returned then atom is not executable. See [CustomExecute] for details.

fn as_match(&self) -> Option<&dyn CustomMatch>

Returns reference to the custom matching API implementation. If None is returned then atom is matched by equality. See [CustomMatch] for details.

fn serialize(&self, _serializer: &mut dyn Serializer) -> Result<(), Error>

Implements serialization logic of the grounded atom. The logic is implemented in terms of the Rust native types. See [serial] for details.

impl PartialEq for StateAtom

fn eq(&self, other: &StateAtom) -> 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 StructuralPartialEq for StateAtom