Enum ai_kit::planner::UnificationIndex

pub enum UnificationIndex {
    Init,
    Actor(usize),
    Datum(usize),
    Exhausted,
}

Variants

InitActor(usize)Datum(usize)Exhausted

Methods

impl UnificationIndex

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

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

fn is_exhausted(&self) -> bool

fn is_init(&self) -> bool

Trait Implementations

impl Clone for UnificationIndex

fn clone(&self) -> UnificationIndex

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for UnificationIndex

impl Debug for UnificationIndex

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for UnificationIndex

impl PartialEq for UnificationIndex

fn eq(&self, __arg_0: &UnificationIndex) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &UnificationIndex) -> bool

This method tests for !=.

impl Display for UnificationIndex

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

Formats the value using the given formatter.

impl Default for UnificationIndex

fn default() -> Self

Returns the "default value" for a type.