pub struct PassManager { /* private fields */ }
Expand description
Pass manager that orchestrates optimization passes
Implementations§
Source§impl PassManager
impl PassManager
Sourcepub fn new() -> Self
pub fn new() -> Self
Create a new pass manager with default configuration
Examples found in repository?
examples/optimization_demo.rs (line 136)
131fn demo_custom_optimization(circuit: &Circuit<4>) {
132 println!("\nDemo 3: Custom Optimization Pipeline");
133 println!("------------------------------------");
134
135 // Create a custom pass manager
136 let mut pass_manager = PassManager::new();
137
138 // Configure with specific passes
139 let config = PassConfig {
140 max_iterations: 5,
141 aggressive: true,
142 level: OptimizationLevel::Custom,
143 ..Default::default()
144 };
145 pass_manager.configure(config.clone());
146
147 // Add specific passes in a custom order
148 pass_manager.add_pass(Box::new(GateCancellation::new(true)));
149 pass_manager.add_pass(Box::new(RotationMerging::new(1e-10)));
150 pass_manager.add_pass(Box::new(GateCommutation::new(10)));
151 pass_manager.add_pass(Box::new(TemplateMatching::new()));
152
153 // Create optimizer with custom configuration
154 let mut optimizer = CircuitOptimizer2::<4>::new();
155 optimizer.configure(config);
156
157 match optimizer.optimize(circuit) {
158 Ok(report) => {
159 println!("Custom optimization results:");
160 report.print_summary();
161 }
162 Err(e) => {
163 println!("Custom optimization failed: {:?}", e);
164 }
165 }
166}
Sourcepub fn with_level(level: OptimizationLevel) -> Self
pub fn with_level(level: OptimizationLevel) -> Self
Create a pass manager with a specific optimization level
Sourcepub fn for_hardware(hardware: &str) -> Self
pub fn for_hardware(hardware: &str) -> Self
Create a pass manager optimized for specific hardware
Sourcepub fn configure(&mut self, config: PassConfig)
pub fn configure(&mut self, config: PassConfig)
Configure the pass manager
Examples found in repository?
examples/optimization_demo.rs (line 145)
131fn demo_custom_optimization(circuit: &Circuit<4>) {
132 println!("\nDemo 3: Custom Optimization Pipeline");
133 println!("------------------------------------");
134
135 // Create a custom pass manager
136 let mut pass_manager = PassManager::new();
137
138 // Configure with specific passes
139 let config = PassConfig {
140 max_iterations: 5,
141 aggressive: true,
142 level: OptimizationLevel::Custom,
143 ..Default::default()
144 };
145 pass_manager.configure(config.clone());
146
147 // Add specific passes in a custom order
148 pass_manager.add_pass(Box::new(GateCancellation::new(true)));
149 pass_manager.add_pass(Box::new(RotationMerging::new(1e-10)));
150 pass_manager.add_pass(Box::new(GateCommutation::new(10)));
151 pass_manager.add_pass(Box::new(TemplateMatching::new()));
152
153 // Create optimizer with custom configuration
154 let mut optimizer = CircuitOptimizer2::<4>::new();
155 optimizer.configure(config);
156
157 match optimizer.optimize(circuit) {
158 Ok(report) => {
159 println!("Custom optimization results:");
160 report.print_summary();
161 }
162 Err(e) => {
163 println!("Custom optimization failed: {:?}", e);
164 }
165 }
166}
Sourcepub fn add_pass(&mut self, pass: Box<dyn OptimizationPass>)
pub fn add_pass(&mut self, pass: Box<dyn OptimizationPass>)
Add a custom optimization pass
Examples found in repository?
examples/optimization_demo.rs (line 148)
131fn demo_custom_optimization(circuit: &Circuit<4>) {
132 println!("\nDemo 3: Custom Optimization Pipeline");
133 println!("------------------------------------");
134
135 // Create a custom pass manager
136 let mut pass_manager = PassManager::new();
137
138 // Configure with specific passes
139 let config = PassConfig {
140 max_iterations: 5,
141 aggressive: true,
142 level: OptimizationLevel::Custom,
143 ..Default::default()
144 };
145 pass_manager.configure(config.clone());
146
147 // Add specific passes in a custom order
148 pass_manager.add_pass(Box::new(GateCancellation::new(true)));
149 pass_manager.add_pass(Box::new(RotationMerging::new(1e-10)));
150 pass_manager.add_pass(Box::new(GateCommutation::new(10)));
151 pass_manager.add_pass(Box::new(TemplateMatching::new()));
152
153 // Create optimizer with custom configuration
154 let mut optimizer = CircuitOptimizer2::<4>::new();
155 optimizer.configure(config);
156
157 match optimizer.optimize(circuit) {
158 Ok(report) => {
159 println!("Custom optimization results:");
160 report.print_summary();
161 }
162 Err(e) => {
163 println!("Custom optimization failed: {:?}", e);
164 }
165 }
166}
Sourcepub fn remove_pass(&mut self, name: &str)
pub fn remove_pass(&mut self, name: &str)
Remove a pass by name
Sourcepub fn run<const N: usize>(
&mut self,
circuit: &Circuit<N>,
cost_model: &dyn CostModel,
) -> QuantRS2Result<Circuit<N>>
pub fn run<const N: usize>( &mut self, circuit: &Circuit<N>, cost_model: &dyn CostModel, ) -> QuantRS2Result<Circuit<N>>
Run all optimization passes on a circuit
Sourcepub fn get_applied_passes(&self) -> Vec<String>
pub fn get_applied_passes(&self) -> Vec<String>
Get the list of applied passes
Trait Implementations§
Auto Trait Implementations§
impl Freeze for PassManager
impl !RefUnwindSafe for PassManager
impl Send for PassManager
impl Sync for PassManager
impl Unpin for PassManager
impl !UnwindSafe for PassManager
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.