Struct ConstraintSystem 

pub struct ConstraintSystem<'a> {
    pub constraints: Vec<ConstraintRequest>,
    /* private fields */
}

A constraint system that ezpz could solve, built from the ezpz text format.

Fields

constraints: Vec<ConstraintRequest>

Constraints from the text input.

Implementations

impl ConstraintSystem<'_>

pub fn solve_no_metadata( &self, config: Config, ) -> Result<SolveOutcome, FailureOutcome>

Solve, without carrying through metadata about the solve.

pub fn solve(&self) -> Result<Outcome, FailureOutcome>

Solve, with metadata about the solve.

pub fn solve_with_config_analysis( &self, config: Config, ) -> Result<OutcomeAnalysis, FailureOutcome>

Solve, and analyze the degrees of freedom.

pub fn solve_with_config( &self, config: Config, ) -> Result<Outcome, FailureOutcome>

Solve, but give a non-default config.

Trait Implementations

impl<'a> Clone for ConstraintSystem<'a>

fn clone(&self) -> ConstraintSystem<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.