Struct GateProvider 

pub struct GateProvider { /* private fields */ }

Gate-based optimization provider

Provides access to domain packs through the solver gate architecture. Each solve returns a complete result including the proposed plan, solver reports, invariant checks, and promotion gate decision.

Implementations

impl GateProvider

pub fn new() -> Self

Create with default built-in packs

pub fn with_registry(registry: Arc<PackRegistry>) -> Self

Create with custom registry

pub fn registry(&self) -> &PackRegistry

Get the underlying registry

pub fn list_packs(&self) -> Vec<&str>

List available packs

pub fn has_pack(&self, name: &str) -> bool

Check if a pack is available

pub fn solve( &self, pack_name: &str, spec: &ProblemSpec, ) -> Result<GateSolveResult>

Solve a problem through the gate

This method:

1. Validates inputs against the pack schema
2. Solves the problem using the pack’s solver
3. Checks all invariants
4. Evaluates the promotion gate

Returns a complete result including all artifacts.

Trait Implementations

impl Clone for GateProvider

fn clone(&self) -> GateProvider

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateProvider

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

Formats the value using the given formatter.

impl Default for GateProvider

fn default() -> Self

Returns the “default value” for a type.