Struct RewriteConfig 

pub struct RewriteConfig { /* private fields */ }

Stable configuration for the knowledge-based rewrite transformer.

Implementations

impl RewriteConfig

pub fn production() -> Self

Production defaults for conservative logical optimization.

pub fn lowering() -> Self

Defaults for explicit knowledge-based lowering.

pub fn new() -> Self

Returns a new production configuration.

pub fn with_max_rounds(self, max_rounds: u8) -> Self

pub fn with_max_window_ops(self, max_window_ops: usize) -> Self

pub fn with_max_pattern_len(self, max_pattern_len: usize) -> Self

pub fn recurse_control_flow(self, enabled: bool) -> Self

pub fn skip_labeled_ops(self, enabled: bool) -> Self

pub fn with_preserve_two_qubit_connectivity(self, enabled: bool) -> Self

Restricts rewrites to those that cannot introduce new undirected two-qubit connectivity.

This is the post-routing safety policy: once a circuit has been physically mapped, every two-qubit operation acts on a device coupling edge, and a rewrite rule whose replacement uses a qubit pair absent from its match (e.g. a CX bridge collapsing CX 0 1, CX 1 2, CX 0 1, CX 1 2 to CX 0 2) would break that mapping. When enabled, rules are statically filtered before matching so replacements only act on pairs already present in the matched operations.

The guarantee is undirected topology connectivity, not ordered native legality: direction flips such as CX 0 1 -> H 0, H 1, CX 1 0, H 0, H 1 remain allowed, since gate direction is the device-lowering stage’s responsibility.

pub fn with_enabled_kinds(self, kinds: Vec<RuleKind>) -> Self

pub fn with_mode(self, mode: RewriteMode) -> Self

pub fn with_target_instructions( self, target_instructions: Vec<Instruction>, ) -> Result<Self, CompilerError>

Restricts lowering to an explicit gate-like target instruction basis.

pub fn try_with_target_instructions( self, target_instructions: Vec<Instruction>, ) -> Result<Self, CompilerError>

Restricts lowering to an explicit gate-like target instruction basis.

pub const fn max_rounds(&self) -> u8

pub const fn max_window_ops(&self) -> usize

pub const fn max_pattern_len(&self) -> usize

pub const fn recurses_control_flow(&self) -> bool

pub const fn skips_labeled_ops(&self) -> bool

pub const fn preserve_two_qubit_connectivity(&self) -> bool

Returns whether rewrites must preserve undirected two-qubit connectivity, rejecting rules that may act on new qubit pairs.

pub const fn mode(&self) -> RewriteMode

pub fn enabled_kinds(&self) -> &[RuleKind]

Returns the rule categories enabled by this configuration.

pub fn target_instruction_basis(&self) -> Option<Vec<Instruction>>

Returns the configured target instruction basis in insertion order.

Trait Implementations

impl Clone for RewriteConfig

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 RewriteConfig

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

Formats the value using the given formatter.

impl Default for RewriteConfig

fn default() -> Self

Returns the “default value” for a type.

impl Eq for RewriteConfig

impl PartialEq for RewriteConfig

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RewriteConfig