Struct EpistemicSolverServiceContract 

pub struct EpistemicSolverServiceContract {
    pub assumption_bindings: Vec<EpistemicSolverAssumptionBinding>,
    pub required_capabilities: Vec<EpistemicSolverCapability>,
    pub required_statuses: Vec<EpistemicSolverStatusKind>,
}

Solver-service contract exported from the epistemic semantic plan.

Fields

assumption_bindings: Vec<EpistemicSolverAssumptionBinding>

Per-literal solver assumptions that must be pushed and retracted.

required_capabilities: Vec<EpistemicSolverCapability>

Production solver capabilities required before this plan can count as accepted.

required_statuses: Vec<EpistemicSolverStatusKind>

Solver statuses that must remain distinct across the interface.

Implementations

impl EpistemicSolverServiceContract

pub fn production_default( assumption_bindings: Vec<EpistemicSolverAssumptionBinding>, ) -> Self

Build the v0.9 production solver contract for the provided assumptions.

pub fn distinct_required_capability_count(&self) -> usize

Count distinct required solver capabilities.

pub fn distinct_required_status_count(&self) -> usize

Count distinct solver statuses that must cross the semantic boundary.

Trait Implementations

impl Clone for EpistemicSolverServiceContract

fn clone(&self) -> EpistemicSolverServiceContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicSolverServiceContract

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

Formats the value using the given formatter.

impl PartialEq for EpistemicSolverServiceContract

fn eq(&self, other: &EpistemicSolverServiceContract) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for EpistemicSolverServiceContract

impl StructuralPartialEq for EpistemicSolverServiceContract