Struct parol::analysis::k_tuples::KTuples

source ·

pub struct KTuples { /* private fields */ }

Expand description

A type representing a set of terminal strings (i.e. terminal sequences) (called k-tuples)

Implementations§

source §

impl KTuples

source

pub fn insert(&mut self, tuple: KTuple)

Inserts a KTuple

source

pub fn append(&mut self, other: Self) -> bool

Appends another KTuples item to self

source

pub fn union(&self, other: &Self) -> (Self, bool)

Creates a union with another KTuples and self

source

pub fn intersection(&self, other: &Self) -> Self

Creates a intersection with another KTuples and self

source

pub fn len(&self) -> usize

Returns the number of KTuples

source

pub fn is_empty(&self) -> bool

Checks if the collection is empty

source

pub fn is_disjoint(&self, other: &Self) -> bool

Checks if self and other are disjoint

source

pub fn k_concat(self, other: &Self, k: usize) -> Self

Creates a new object from a slice of KTuple objects.

use parol::{KTuple, KTuplesBuilder, CompiledTerminal};
use parol::analysis::k_tuple::TerminalMappings;
use parol::analysis::compiled_terminal::EPS;

{
    let tuples1 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[EPS]]).build().unwrap();
    let tuples2 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[EPS]]).build().unwrap();
    let result = tuples1.k_concat(&tuples2, 1);
    let expected = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[EPS]]).build().unwrap();
    assert_eq!(expected, result, "[ε] + [ε] = [ε]");
}
{
    let tuples1 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[1]]).build().unwrap();
    let tuples2 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[EPS]]).build().unwrap();
    let result = tuples1.k_concat(&tuples2, 1);
    let expected = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[1]]).build().unwrap();
    assert_eq!(expected, result, "[a] + [ε] = [a]");
}
{
    let tuples1 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[EPS]]).build().unwrap();
    let tuples2 = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[1]]).build().unwrap();
    let result = tuples1.k_concat(&tuples2, 1);
    let expected = KTuplesBuilder::new().k(1).max_terminal_index(1).terminal_indices(&[&[1]]).build().unwrap();
    assert_eq!(expected, result, "[ε] + [a] = [a]");
}
{
    let tuples1 = KTuplesBuilder::new().k(1).max_terminal_index(2).terminal_indices(&[&[1]]).build().unwrap();
    let tuples2 = KTuplesBuilder::new().k(1).max_terminal_index(2).terminal_indices(&[&[2]]).build().unwrap();
    let result = tuples1.k_concat(&tuples2, 1);
    let expected = KTuplesBuilder::new().k(1).max_terminal_index(2).terminal_indices(&[&[1]]).build().unwrap();
    assert_eq!(expected, result, "1: [a] + [b] = [a]");
}
{
    let tuples1 = KTuplesBuilder::new().k(2).max_terminal_index(2).terminal_indices(&[&[1]]).build().unwrap();
    let tuples2 = KTuplesBuilder::new().k(2).max_terminal_index(2).terminal_indices(&[&[2]]).build().unwrap();
    let result = tuples1.k_concat(&tuples2, 2);
    let expected = KTuplesBuilder::new().k(2).max_terminal_index(2).terminal_indices(&[&[1, 2]]).build().unwrap();
    assert_eq!(expected, result, "2: [a] + [b] = [ab]");
}