Struct ExprSet

pub struct ExprSet { /* private fields */ }

Implementations

impl ExprSet

pub fn new(alphabet_size: usize) -> ExprSet

pub fn set_pp(&mut self, pp: PrettyPrinter)

pub fn pp(&self) -> &PrettyPrinter

pub fn cost(&self) -> u64

pub fn expr_to_string(&self, id: ExprRef) -> String

pub fn expr_to_string_with_info(&self, id: ExprRef) -> String

pub fn alphabet_size(&self) -> usize

pub fn alphabet_words(&self) -> usize

pub fn len(&self) -> usize

pub fn num_bytes(&self) -> usize

pub fn get(&self, id: ExprRef) -> Expr<'_>

pub fn is_valid(&self, id: ExprRef) -> bool

pub fn lookahead_len(&self, e: ExprRef) -> Option<usize>

pub fn possible_lookahead_len(&self, e: ExprRef) -> usize

pub fn get_flags(&self, id: ExprRef) -> ExprFlags

pub fn get_tag(&self, id: ExprRef) -> ExprTag

pub fn get_args(&self, id: ExprRef) -> &[ExprRef]

pub fn is_nullable(&self, id: ExprRef) -> bool

pub fn is_positive(&self, id: ExprRef) -> bool

pub fn simple_map<V>( &mut self, r: ExprRef, process: impl FnMut(&mut ExprSet, Vec<V>, ExprRef) -> V, ) -> V

where V: Clone,

pub fn map<K, V>( &mut self, r: ExprRef, cache: &mut HashMap<K, V>, concat_nullable_check: bool, mk_key: impl Fn(ExprRef) -> K, process: impl FnMut(&mut ExprSet, Vec<V>, ExprRef) -> V, ) -> V

where K: Eq + PartialEq + Hash, V: Clone,

impl ExprSet

pub fn byte_set_from_byte(&self, b: u8) -> Vec<u32>

pub fn mk_byte(&mut self, b: u8) -> ExprRef

pub fn mk_byte_set(&mut self, s: &[u32]) -> ExprRef

pub fn mk_prefixes(&mut self, e: ExprRef) -> ExprRef

pub fn mk_repeat(&mut self, e: ExprRef, min: u32, max: u32) -> ExprRef

pub fn mk_or(&mut self, args: Vec<ExprRef>) -> ExprRef

pub fn mk_byte_set_not(&mut self, x: ExprRef) -> ExprRef

pub fn mk_byte_set_or(&mut self, args: &[ExprRef]) -> ExprRef

pub fn mk_byte_set_neg_or(&mut self, args: &[ExprRef]) -> ExprRef

pub fn mk_byte_set_and(&mut self, aa: ExprRef, bb: ExprRef) -> ExprRef

pub fn mk_byte_set_sub(&mut self, aa: ExprRef, bb: ExprRef) -> ExprRef

pub fn mk_and(&mut self, args: Vec<ExprRef>) -> ExprRef

pub fn mk_concat(&mut self, args: Vec<ExprRef>) -> ExprRef

pub fn mk_byte_literal(&mut self, s: &[u8]) -> ExprRef

pub fn mk_literal(&mut self, s: &str) -> ExprRef

pub fn mk_not(&mut self, e: ExprRef) -> ExprRef

pub fn mk_lookahead(&mut self, e: ExprRef, offset: u32) -> ExprRef

impl ExprSet

pub fn parse_expr(&mut self, parser: Parser, rx: &str) -> Result<ExprRef, Error>

Trait Implementations

impl Clone for ExprSet

fn clone(&self) -> ExprSet

Returns a copy of the value.

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

Performs copy-assignment from source.