Struct DetRun 

pub struct DetRun {
    pub states: Vec<StateId>,
    pub root_state: StateId,
}

Side table produced by run_det.

The table stores one state per arena node. Rejected nodes receive StateId::STUCK.

Fields

states: Vec<StateId>

State assigned to each node, indexed by Tree::index.

root_state: StateId

State assigned to the root, or StateId::STUCK if the tree rejected.

Trait Implementations

impl Clone for DetRun

fn clone(&self) -> DetRun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DetRun

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

Formats the value using the given formatter.

impl Eq for DetRun

impl PartialEq for DetRun

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