Struct Translator 

pub struct Translator { /* private fields */ }

Translates Symbolica IR (generated by export_instructions) into a Symjit Model

Implementations

impl Translator

pub fn new(config: Config, df: Defuns) -> Translator

pub fn parse_model(&mut self, model: &SymbolicaModel) -> Result<()>

pub fn translate(&mut self) -> Result<(CellModel, HashSet<Loc>)>

The second pass. It translates the SSA-form into a Symjit model.

Trait Implementations

impl Clone for Translator

fn clone(&self) -> Translator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Composer for Translator

fn append_constant(&mut self, z: Complex<f64>) -> Result<usize>

fn append_add( &mut self, lhs: &Slot, args: &[Slot], num_reals: usize, ) -> Result<()>

fn append_mul( &mut self, lhs: &Slot, args: &[Slot], num_reals: usize, ) -> Result<()>

fn append_pow( &mut self, lhs: &Slot, arg: &Slot, p: i64, is_real: bool, ) -> Result<()>

fn append_powf( &mut self, lhs: &Slot, arg: &Slot, p: &Slot, is_real: bool, ) -> Result<()>

fn append_assign(&mut self, lhs: &Slot, rhs: &Slot) -> Result<()>

fn append_label(&mut self, id: usize) -> Result<()>

fn append_if_else(&mut self, cond: &Slot, id: usize) -> Result<()>

fn append_goto(&mut self, id: usize) -> Result<()>

fn append_external_fun( &mut self, lhs: &Slot, op: &str, args: &[Slot], ) -> Result<()>

fn append_fun( &mut self, lhs: &Slot, fun: &BuiltinSymbol, arg: &Slot, is_real: bool, ) -> Result<()>

fn append_join( &mut self, lhs: &Slot, cond: &Slot, true_val: &Slot, false_val: &Slot, ) -> Result<()>

fn set_num_params(&mut self, num_params: usize)

fn compile(&mut self) -> Result<Application>

impl Debug for Translator

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

Formats the value using the given formatter.