Struct ProjectionRewriteSet 

pub struct ProjectionRewriteSet { /* private fields */ }

A set of projection rewrite rules for a kernel.

Implementations

impl ProjectionRewriteSet

pub fn new() -> Self

Create an empty set.

pub fn add(&mut self, rule: ProjectionRewrite)

Add a rule.

pub fn find_by_projector(&self, projector: &str) -> Option<&ProjectionRewrite>

Look up a rule by projector name.

pub fn rules_for_ctor(&self, ctor: &str) -> Vec<&ProjectionRewrite>

Look up all rules for a constructor.

pub fn len(&self) -> usize

Return the number of rules.

pub fn is_empty(&self) -> bool

Return whether there are no rules.

pub fn projector_names(&self) -> Vec<&str>

Return all projector names.

Trait Implementations

impl Default for ProjectionRewriteSet

fn default() -> Self

Returns the “default value” for a type.