Expand description
SciRS2 integration and enhanced tools
Re-exportsยง
pub use crate::scirs2_circuit_verifier::AlgorithmSpecification;pub use crate::scirs2_circuit_verifier::AlgorithmVerificationResult;pub use crate::scirs2_circuit_verifier::CircuitVerificationResult;pub use crate::scirs2_circuit_verifier::EquivalenceType;pub use crate::scirs2_circuit_verifier::EquivalenceVerificationResult;pub use crate::scirs2_circuit_verifier::NumericalStabilityAnalysis;pub use crate::scirs2_circuit_verifier::SciRS2CircuitVerifier;pub use crate::scirs2_circuit_verifier::SciRS2VerificationEnhancements;pub use crate::scirs2_circuit_verifier::VerificationConfig;pub use crate::scirs2_circuit_verifier::VerificationVerdict;pub use crate::scirs2_circuit_verifier_enhanced::CertificateFormat;pub use crate::scirs2_circuit_verifier_enhanced::CircuitProperty;pub use crate::scirs2_circuit_verifier_enhanced::ConfidenceStatistics;pub use crate::scirs2_circuit_verifier_enhanced::Counterexample;pub use crate::scirs2_circuit_verifier_enhanced::EnhancedCircuitVerifier;pub use crate::scirs2_circuit_verifier_enhanced::EnhancedVerificationConfig;pub use crate::scirs2_circuit_verifier_enhanced::FormalProof;pub use crate::scirs2_circuit_verifier_enhanced::FormalVerificationResult;pub use crate::scirs2_circuit_verifier_enhanced::ProofStep;pub use crate::scirs2_circuit_verifier_enhanced::ProofStepType;pub use crate::scirs2_circuit_verifier_enhanced::ProofType;pub use crate::scirs2_circuit_verifier_enhanced::QCTLSpecification;pub use crate::scirs2_circuit_verifier_enhanced::QHLSpecification;pub use crate::scirs2_circuit_verifier_enhanced::QLTLSpecification;pub use crate::scirs2_circuit_verifier_enhanced::SpecificationLanguage;pub use crate::scirs2_circuit_verifier_enhanced::VerificationReport;pub use crate::scirs2_circuit_verifier_enhanced::VerificationSummary;pub use crate::scirs2_circuit_verifier_enhanced::VerificationTechnique;pub use crate::scirs2_circuit_verifier_enhanced::ZXSpecification;pub use crate::scirs2_quantum_formatter::AnnotationLocation;pub use crate::scirs2_quantum_formatter::AnnotationType;pub use crate::scirs2_quantum_formatter::CodeAnnotation;pub use crate::scirs2_quantum_formatter::CommentStyle;pub use crate::scirs2_quantum_formatter::FormattedCode;pub use crate::scirs2_quantum_formatter::FormattingConfig;pub use crate::scirs2_quantum_formatter::FormattingStatistics;pub use crate::scirs2_quantum_formatter::FormattingStyle;pub use crate::scirs2_quantum_formatter::IndentationStyle;pub use crate::scirs2_quantum_formatter::OutputFormat;pub use crate::scirs2_quantum_formatter::ProgrammingLanguage;pub use crate::scirs2_quantum_formatter::SciRS2QuantumFormatter;pub use crate::scirs2_quantum_formatter_enhanced::AlgorithmPhase;pub use crate::scirs2_quantum_formatter_enhanced::BeautificationSuggestions;pub use crate::scirs2_quantum_formatter_enhanced::ChangeType;pub use crate::scirs2_quantum_formatter_enhanced::CircuitChange;pub use crate::scirs2_quantum_formatter_enhanced::ColorScheme;pub use crate::scirs2_quantum_formatter_enhanced::CustomFormattingRule;pub use crate::scirs2_quantum_formatter_enhanced::EnhancedFormattedCode;pub use crate::scirs2_quantum_formatter_enhanced::EnhancedFormattingConfig;pub use crate::scirs2_quantum_formatter_enhanced::EnhancedQuantumFormatter;pub use crate::scirs2_quantum_formatter_enhanced::FormattingOptions;pub use crate::scirs2_quantum_formatter_enhanced::FormattingSuggestion;pub use crate::scirs2_quantum_formatter_enhanced::HardwareFormattingInfo;pub use crate::scirs2_quantum_formatter_enhanced::IncrementalUpdate;pub use crate::scirs2_quantum_formatter_enhanced::InteractiveSuggestion;pub use crate::scirs2_quantum_formatter_enhanced::PlatformOptimization;pub use crate::scirs2_quantum_formatter_enhanced::QuantumBackend;pub use crate::scirs2_quantum_formatter_enhanced::QuantumPattern;pub use crate::scirs2_quantum_formatter_enhanced::SemanticInfo;pub use crate::scirs2_quantum_formatter_enhanced::SuggestionLocation;pub use crate::scirs2_quantum_formatter_enhanced::SuggestionType;pub use crate::scirs2_quantum_formatter_enhanced::SyntaxMetadata;pub use crate::scirs2_quantum_formatter_enhanced::SyntaxScope;pub use crate::scirs2_quantum_formatter_enhanced::SyntaxToken;pub use crate::scirs2_quantum_formatter_enhanced::TemplatedCode;pub use crate::scirs2_quantum_formatter_enhanced::TokenType;pub use crate::scirs2_quantum_formatter_enhanced::UpdatedSection;pub use crate::scirs2_quantum_formatter_enhanced::VisualFormat;pub use crate::scirs2_quantum_linter::AutomaticFix;pub use crate::scirs2_quantum_linter::LintFinding;pub use crate::scirs2_quantum_linter::LintFindingType;pub use crate::scirs2_quantum_linter::LintSeverity;pub use crate::scirs2_quantum_linter::LintingConfig;pub use crate::scirs2_quantum_linter::LintingReport;pub use crate::scirs2_quantum_linter::OptimizationSuggestion;pub use crate::scirs2_quantum_linter::SciRS2Enhancement;pub use crate::scirs2_quantum_linter::SciRS2QuantumLinter;pub use crate::scirs2_quantum_linter_enhanced::ChangeOperation;pub use crate::scirs2_quantum_linter_enhanced::CircuitLocation;pub use crate::scirs2_quantum_linter_enhanced::CircuitMetadata;pub use crate::scirs2_quantum_linter_enhanced::CodeChange;pub use crate::scirs2_quantum_linter_enhanced::Compatibility;pub use crate::scirs2_quantum_linter_enhanced::CustomLintRule;pub use crate::scirs2_quantum_linter_enhanced::EnhancedLintFinding;pub use crate::scirs2_quantum_linter_enhanced::EnhancedLintingConfig;pub use crate::scirs2_quantum_linter_enhanced::EnhancedLintingReport;pub use crate::scirs2_quantum_linter_enhanced::EnhancedQuantumLinter;pub use crate::scirs2_quantum_linter_enhanced::FixSuggestion;pub use crate::scirs2_quantum_linter_enhanced::GatePatternMatcher;pub use crate::scirs2_quantum_linter_enhanced::HardwareArchitecture;pub use crate::scirs2_quantum_linter_enhanced::ImpactAnalysis;pub use crate::scirs2_quantum_linter_enhanced::LintPattern;pub use crate::scirs2_quantum_linter_enhanced::LintingSummary;pub use crate::scirs2_quantum_linter_enhanced::PerformanceImpact;pub use crate::scirs2_quantum_linter_enhanced::QualityMetrics;pub use crate::scirs2_quantum_linter_enhanced::ReportFormat;pub use crate::scirs2_quantum_linter_enhanced::ResourceImpact;pub use crate::scirs2_quantum_linter_enhanced::ResourceMatcher;pub use crate::scirs2_quantum_linter_enhanced::RiskLevel;pub use crate::scirs2_quantum_linter_enhanced::StructuralMatcher;pub use crate::scirs2_quantum_profiler::CircuitProfilingResult;pub use crate::scirs2_quantum_profiler::GateProfilingResult;pub use crate::scirs2_quantum_profiler::MemoryAnalysis;pub use crate::scirs2_quantum_profiler::OptimizationRecommendation;pub use crate::scirs2_quantum_profiler::ProfilingPrecision;pub use crate::scirs2_quantum_profiler::ProfilingSessionReport;pub use crate::scirs2_quantum_profiler::SciRS2EnhancementSummary;pub use crate::scirs2_quantum_profiler::SciRS2ProfilingConfig;pub use crate::scirs2_quantum_profiler::SciRS2QuantumProfiler;pub use crate::scirs2_quantum_profiler::SimdAnalysis;pub use crate::scirs2_quantum_profiler_enhanced::AnomalyEvent;pub use crate::scirs2_quantum_profiler_enhanced::AnomalySeverity;pub use crate::scirs2_quantum_profiler_enhanced::Bottleneck;pub use crate::scirs2_quantum_profiler_enhanced::BottleneckAnalysis;pub use crate::scirs2_quantum_profiler_enhanced::BottleneckType;pub use crate::scirs2_quantum_profiler_enhanced::Difficulty;pub use crate::scirs2_quantum_profiler_enhanced::EnhancedGateProfilingResult;pub use crate::scirs2_quantum_profiler_enhanced::EnhancedOptimizationRecommendation;pub use crate::scirs2_quantum_profiler_enhanced::EnhancedProfilingConfig;pub use crate::scirs2_quantum_profiler_enhanced::EnhancedProfilingReport;pub use crate::scirs2_quantum_profiler_enhanced::EnhancedQuantumProfiler;pub use crate::scirs2_quantum_profiler_enhanced::ExportFormat;pub use crate::scirs2_quantum_profiler_enhanced::HardwareCharacteristics;pub use crate::scirs2_quantum_profiler_enhanced::HardwareOptimizationStrategy;pub use crate::scirs2_quantum_profiler_enhanced::HardwarePerformanceModel;pub use crate::scirs2_quantum_profiler_enhanced::MetricStatistics;pub use crate::scirs2_quantum_profiler_enhanced::MetricType;pub use crate::scirs2_quantum_profiler_enhanced::OpportunityType;pub use crate::scirs2_quantum_profiler_enhanced::OptimizationOpportunity;pub use crate::scirs2_quantum_profiler_enhanced::PerformanceMetrics;pub use crate::scirs2_quantum_profiler_enhanced::PerformancePredictions;pub use crate::scirs2_quantum_profiler_enhanced::PredictedPerformance;pub use crate::scirs2_quantum_profiler_enhanced::Priority;pub use crate::scirs2_quantum_profiler_enhanced::ProfilingSummary;pub use crate::scirs2_quantum_profiler_enhanced::RecommendationType;pub use crate::scirs2_quantum_profiler_enhanced::ScalingAnalysis;pub use crate::scirs2_quantum_profiler_enhanced::ScalingModel;pub use crate::scirs2_quantum_profiler_enhanced::ScalingType;pub use crate::scirs2_resource_estimator_enhanced::AnalysisDepth;pub use crate::scirs2_resource_estimator_enhanced::BasicResourceAnalysis;pub use crate::scirs2_resource_estimator_enhanced::CircuitTopology;pub use crate::scirs2_resource_estimator_enhanced::CloudPlatform;pub use crate::scirs2_resource_estimator_enhanced::ComparativeAnalysis;pub use crate::scirs2_resource_estimator_enhanced::ComplexityMetrics;pub use crate::scirs2_resource_estimator_enhanced::ConstraintPriority;pub use crate::scirs2_resource_estimator_enhanced::ConstraintType;pub use crate::scirs2_resource_estimator_enhanced::CostAnalysisResult;pub use crate::scirs2_resource_estimator_enhanced::CostBreakdown;pub use crate::scirs2_resource_estimator_enhanced::CostOptimization;pub use crate::scirs2_resource_estimator_enhanced::Effort;pub use crate::scirs2_resource_estimator_enhanced::EnhancedResourceConfig;pub use crate::scirs2_resource_estimator_enhanced::EnhancedResourceEstimate;pub use crate::scirs2_resource_estimator_enhanced::EnhancedResourceEstimator;pub use crate::scirs2_resource_estimator_enhanced::ErrorBudget;pub use crate::scirs2_resource_estimator_enhanced::EstimationOptions;pub use crate::scirs2_resource_estimator_enhanced::GatePattern;pub use crate::scirs2_resource_estimator_enhanced::GateStatistics;pub use crate::scirs2_resource_estimator_enhanced::HardwareRecommendation;pub use crate::scirs2_resource_estimator_enhanced::Impact;pub use crate::scirs2_resource_estimator_enhanced::MLPredictions;pub use crate::scirs2_resource_estimator_enhanced::MemoryRequirements;pub use crate::scirs2_resource_estimator_enhanced::MonitoringReport;pub use crate::scirs2_resource_estimator_enhanced::OptimizationLevel as ResourceOptimizationLevel;pub use crate::scirs2_resource_estimator_enhanced::OptimizationObjective;pub use crate::scirs2_resource_estimator_enhanced::OptimizationStrategy;pub use crate::scirs2_resource_estimator_enhanced::PlatformCost;pub use crate::scirs2_resource_estimator_enhanced::Priority as ResourcePriority;pub use crate::scirs2_resource_estimator_enhanced::ReadinessLevel;pub use crate::scirs2_resource_estimator_enhanced::Recommendation;pub use crate::scirs2_resource_estimator_enhanced::RecommendationCategory;pub use crate::scirs2_resource_estimator_enhanced::ResourceAnomaly;pub use crate::scirs2_resource_estimator_enhanced::ResourceConstraint;pub use crate::scirs2_resource_estimator_enhanced::ResourceImprovement;pub use crate::scirs2_resource_estimator_enhanced::ResourceRequirements;pub use crate::scirs2_resource_estimator_enhanced::ResourceScores;pub use crate::scirs2_resource_estimator_enhanced::RiskAssessment;pub use crate::scirs2_resource_estimator_enhanced::ScalingPredictions;pub use crate::scirs2_resource_estimator_enhanced::TopologyType;