Struct Solution 

pub struct Solution {
    pub outcome: OperationResult,
    pub world: World,
    pub shape: Option<Expression>,
}

A single solution from inversion

Contains the outcome for a solution. For fact constraints, use the corresponding entry in InversionResponse.domains.

Fields

outcome: OperationResult

The outcome (value or veto)

world: World

The world (branch assignment) that produced this solution

shape: Option<Expression>

For underdetermined systems: the expression that must equal the target e.g., for total = price * quantity with target 100, this would be price * quantity

Trait Implementations

impl Clone for Solution

fn clone(&self) -> Solution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Solution

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

Formats the value using the given formatter.

impl Serialize for Solution

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.