Struct Rule 

pub struct Rule {
    pub name: String,
    pub operations: SmallVec<[RuleItem; 4]>,
    pub conditions: Option<SmallVec<[Condition; 2]>>,
    pub target: SmallVec<[RuleItem; 4]>,
}

Runtime rewrite rule: match operations plus optional conditions and target.

Fields

name: String

Stable human-readable rule name.

operations: SmallVec<[RuleItem; 4]>

Operations to match in the source circuit.

conditions: Option<SmallVec<[Condition; 2]>>

Parameter constraints that must hold before applying the rewrite.

target: SmallVec<[RuleItem; 4]>

Operations that replace the matched block.

Implementations

impl Rule

pub fn new(name: &str, ops: Vec<RuleItem>, target: Vec<RuleItem>) -> Rule

Builds a rule with no conditions.

pub fn validate(&self) -> Result<(), RuleValidationError>

Validate structural invariants required by the rule runtime.

This checks whether a rule is well-formed enough to be dumped, verified, and eventually matched. It does not prove that the rewrite preserves quantum semantics; matrix equivalence checking lives in rule_equivalence.

pub fn num_qubits(&self) -> usize

Determine the number of qubits from the rule’s operations and target.

pub fn collect_free_symbols(&self) -> HashSet<String>

Collect all free symbol names from parameters and conditions.

pub fn target_qubits(&self) -> BTreeSet<u32>

Collect qubit labels referenced by the rewrite target.

pub fn operation_qubits(&self) -> BTreeSet<u32>

Collect qubit labels referenced by the match block.

pub fn operation_symbols(&self) -> HashSet<String>

Collect symbols bound by the match block.

pub fn target_symbols(&self) -> HashSet<String>

Collect symbols referenced by the rewrite target.

pub fn condition_symbols(&self) -> HashSet<String>

Collect symbols referenced by all rule conditions.

impl Rule

pub fn verify(&self) -> Result<VerifyResult, VerifyError>

Verify this rule with layered equivalence checking:

1. Symbolic matrix comparison (and numeric check for fixed-parameter rules)
2. If that fails and the rule has free parameters or require conditions, fall back to Self::verify_by_sampling with default binding count and tolerance

pub fn verify_by_sampling( &self, num_bindings: usize, tolerance: f64, ) -> Result<VerifyResult, VerifyError>

Verify this rule symbolically first, then fall back to numerical sampling.

pub fn needs_sampling_fallback(&self) -> bool

Whether layered verification should fall back to parameter sampling after symbolic comparison fails.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.