Module scirs2

Module scirs2 

Source
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;