Struct GateSolveResult 

pub struct GateSolveResult {
    pub plan: ProposedPlan,
    pub reports: Vec<SolverReport>,
    pub invariant_results: Vec<InvariantResult>,
    pub gate: PromotionGate,
}

Complete result from gate-based solving

Fields

plan: ProposedPlan

The proposed plan

reports: Vec<SolverReport>

Solver reports (may have tried multiple solvers)

invariant_results: Vec<InvariantResult>

Results of invariant checks

gate: PromotionGate

The promotion gate decision

Implementations

impl GateSolveResult

pub fn is_feasible(&self) -> bool

Check if the solution is feasible

pub fn is_promoted(&self) -> bool

Check if the plan was promoted

pub fn is_rejected(&self) -> bool

Check if the plan was rejected

pub fn requires_escalation(&self) -> bool

Check if escalation is required

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

Get failed invariants

Trait Implementations

impl Debug for GateSolveResult

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

Formats the value using the given formatter.