Struct InversionResponse 

pub struct InversionResponse {
    pub solutions: Vec<Solution>,
    pub domains: Vec<HashMap<FactPath, Domain>>,
    pub undetermined_facts: Vec<FactPath>,
    pub is_determined: bool,
}

Response from inversion containing all valid solutions

Fields

solutions: Vec<Solution>

All valid solutions

domains: Vec<HashMap<FactPath, Domain>>

Domain constraints for each solution (indexed by solution index)

undetermined_facts: Vec<FactPath>

Facts that still need values (appear in conditions but aren’t fully constrained)

is_determined: bool

True if all facts are fully constrained to specific values

Implementations

impl InversionResponse

pub fn new( solutions: Vec<Solution>, domains: Vec<HashMap<FactPath, Domain>>, ) -> Self

Create a new inversion response, computing metadata from solutions and domains

pub fn is_empty(&self) -> bool

Check if the response is empty (no solutions)

pub fn len(&self) -> usize

Get the number of solutions

pub fn iter( &self, ) -> impl Iterator<Item = (&Solution, &HashMap<FactPath, Domain>)>

Iterate over solutions with their domains

pub fn free_variables(&self) -> &[FactPath]

Alias for undetermined_facts (backwards compatibility)

pub fn is_fully_constrained(&self) -> bool

Alias for is_determined (backwards compatibility)

Trait Implementations

impl Clone for InversionResponse

fn clone(&self) -> InversionResponse

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InversionResponse

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

Formats the value using the given formatter.

impl Serialize for InversionResponse

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.