Struct Shape 

pub struct Shape {
    pub branches: Vec<ShapeBranch>,
    pub free_variables: Vec<FactReference>,
}

A shape representing the solution space for an inversion query

Contains one or more branches, each representing a solution. Each branch specifies conditions and the corresponding outcome.

Fields

branches: Vec<ShapeBranch>

Solution branches - each branch is a valid solution

free_variables: Vec<FactReference>

Variables that are not fully constrained (free to vary)

Implementations

impl Shape

pub fn new( branches: Vec<ShapeBranch>, free_variables: Vec<FactReference>, ) -> Self

Create a new shape

pub fn is_fully_constrained(&self) -> bool

Check if this shape has any free variables

Trait Implementations

impl Clone for Shape

fn clone(&self) -> Shape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Shape

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

Formats the value using the given formatter.

impl Display for Shape

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

Formats the value using the given formatter.

impl PartialEq for Shape

fn eq(&self, other: &Shape) -> 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 Serialize for Shape

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Shape