Struct Constraints

pub struct Constraints {
    pub init: Vec<ConstraintCircuitMonad<SingleRowIndicator>>,
    pub cons: Vec<ConstraintCircuitMonad<SingleRowIndicator>>,
    pub tran: Vec<ConstraintCircuitMonad<DualRowIndicator>>,
    pub term: Vec<ConstraintCircuitMonad<SingleRowIndicator>>,
}

Fields

init: Vec<ConstraintCircuitMonad<SingleRowIndicator>>

cons: Vec<ConstraintCircuitMonad<SingleRowIndicator>>

tran: Vec<ConstraintCircuitMonad<DualRowIndicator>>

term: Vec<ConstraintCircuitMonad<SingleRowIndicator>>

Implementations

impl Constraints

pub fn all() -> Constraints

pub fn default_degree_lowering_info() -> DegreeLoweringInfo

pub fn initial_constraints() -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

pub fn consistency_constraints() -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

pub fn transition_constraints() -> Vec<ConstraintCircuitMonad<DualRowIndicator>>

pub fn terminal_constraints() -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

pub fn lower_to_target_degree_through_substitutions( &mut self, lowering_info: DegreeLoweringInfo, ) -> AllSubstitutions

pub fn combine_with_substitution_induced_constraints( self, _: AllSubstitutions, ) -> Self

pub fn init(&self) -> Vec<ConstraintCircuit<SingleRowIndicator>>

pub fn cons(&self) -> Vec<ConstraintCircuit<SingleRowIndicator>>

pub fn tran(&self) -> Vec<ConstraintCircuit<DualRowIndicator>>

pub fn term(&self) -> Vec<ConstraintCircuit<SingleRowIndicator>>

Trait Implementations

impl Clone for Constraints

fn clone(&self) -> Constraints

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraints

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

Formats the value using the given formatter.