Struct perplex::item_set::ItemSet

pub struct ItemSet { /* fields omitted */ }

An item set.

Methods

impl ItemSet

pub fn new(id: ItemSetId) -> ItemSet

Create a new item set.

pub fn with_items(id: ItemSetId, items: Vec<Item>) -> ItemSet

Create a new item set with certain items.

pub fn id(&self) -> ItemSetId

Get the id of the item set.

pub fn items(&self) -> &[Item]

Get the items in the set.

pub fn kernel_items(&self) -> &[Item]

Get the kernel items in the set.

pub fn pretty<'a>(     &'a self,     grammar: &'a Grammar ) -> Pretty<&'a Grammar, &'a Self>

Get a pretty printer for this item set.

pub fn closure(&mut self, grammar: &Grammar, first_sets: &FirstSets)

Compute the closure of the item set.

pub fn kernel_item_cores(&self) -> KernelCores

Compute the kernel item cores.

The returned struct can be used to compare two item sets for equality in their kernel item cores.

pub fn replace_actions(&mut self, from: Action, to: Action)

Replace all occurrences of one action with another.

Important traits for Actions<'a>

impl<'a> Iterator for Actions<'a> type Item = &'a (Symbol, Action);

pub fn actions(&self) -> Actions

Get an iterator over the actions in the set.

Important traits for ActionsMut<'a>

impl<'a> Iterator for ActionsMut<'a> type Item = &'a mut (Symbol, Action);

pub fn actions_mut(&mut self) -> ActionsMut

Get a mutable iterator over the actions in the set.

pub fn merge(&mut self, other: ItemSet)

Merge another item set into this.

pub fn compress(&mut self)

Compress the item set.

This will remove redundant items and replace their lookahead token with a #.

Trait Implementations

impl Debug for ItemSet

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

Formats the value using the given formatter.

impl Clone for ItemSet

fn clone(&self) -> ItemSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for ItemSet

fn eq(&self, other: &ItemSet) -> bool

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

fn ne(&self, other: &ItemSet) -> bool

This method tests for !=.

impl Eq for ItemSet

impl Hash for ItemSet

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].