Struct InducedRuleRegistry 

pub struct InducedRuleRegistry { /* private fields */ }

In-memory registry for induced rule provenance records.

Implementations

impl InducedRuleRegistry

pub fn new() -> Self

Create an empty induced-rule registry.

pub fn register(&mut self, provenance: InducedRuleProvenance) -> String

Register one induced or generated rule and return its stable rule id.

pub fn len(&self) -> usize

Number of registered induced rules.

pub fn is_empty(&self) -> bool

True when no induced rules have been registered.

pub fn rules(&self) -> &[InducedRuleProvenance]

Registered induced rules in insertion order.

Trait Implementations

impl Clone for InducedRuleRegistry

fn clone(&self) -> InducedRuleRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InducedRuleRegistry

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

Formats the value using the given formatter.

impl Default for InducedRuleRegistry

fn default() -> InducedRuleRegistry

Returns the “default value” for a type.

impl PartialEq for InducedRuleRegistry

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for InducedRuleRegistry

impl StructuralPartialEq for InducedRuleRegistry