Struct SimplePatternProvider

pub struct SimplePatternProvider { /* private fields */ }

Implementations

impl SimplePatternProvider

pub fn new() -> Self

pub fn add_child(&mut self, node: NodeIndex, kind: NodeKind) -> NodeIndex

pub fn add_clause(&mut self, kind: NodeKind) -> NodeIndex

Trait Implementations

impl Clone for SimplePatternProvider

fn clone(&self) -> SimplePatternProvider

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SimplePatternProvider

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

Formats the value using the given formatter.

impl PatternProvider for SimplePatternProvider

const WILDCARD: NodeKind = NodeKind::Wildcard

type PatternNodeKey = NodeIndex

A reference to a unique node in the pattern graph. Every PatternNodeKey should belong to ONE and ONLY one PatternNodeKind.

type PatternNodeKind = NodeKind

The type of pattern node.

type CfgVariable = CfgVar

A variable in the output CFG. The provider is responsible for creating these as specializations are performed by expand_clause_nodes.

fn get_root( &self, ) -> ExpandedClauseNodes<Self::CfgVariable, Self::PatternNodeKey>

fn kind_includes( &self, kind: Self::PatternNodeKind, key: Self::PatternNodeKey, ) -> bool

Used to determine if the given key should be included in the specialization on kind.

fn expand_clause_nodes( &mut self, clause_nodes: Vec<Self::PatternNodeKey>, ) -> ExpandedClauseNodes<Self::CfgVariable, Self::PatternNodeKey>

After clauses have been selected for specialization, this will be called with the set of all nodes that should be specialized on.

fn get_kind(&self, key: Self::PatternNodeKey) -> Self::PatternNodeKind

Every PatternNodeKey should belong to one and only one PatternNodeKind.

fn is_wildcard(&self, kind: Self::PatternNodeKind) -> bool

fn get_wildcard(&self) -> Self::PatternNodeKind