Skip to main content

Composer

Trait Composer 

Source
pub trait Composer {
Show 14 methods // Required methods 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>;
}

Required Methods§

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

fn set_num_params(&mut self, num_params: usize)

Source

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

Implementors§