Trait WriteDecVars

pub trait WriteDecVars {
    // Required method
    fn write_dec_var(&self, decision_variables: &mut Vec<Value>);
}

Required Methods

fn write_dec_var(&self, decision_variables: &mut Vec<Value>)

Implementations on Foreign Types

impl WriteDecVars for ContentAddress

fn write_dec_var(&self, decision_variables: &mut Vec<Value>)

impl WriteDecVars for PredicateAddress

fn write_dec_var(&self, decision_variables: &mut Vec<Value>)

Implementors

impl WriteDecVars for B256

impl WriteDecVars for Instance

impl WriteDecVars for Int