Struct reform::streaming::OutputTermStreamer

pub struct OutputTermStreamer { /* fields omitted */ }

Methods

impl OutputTermStreamer

pub fn new() -> OutputTermStreamer

pub fn termcount(&self) -> u64

pub fn add_term(&mut self, element: Element, var_info: &GlobalVarInfo)

pub fn sort(     &mut self,     exprname: &str,     input_streamer: &mut InputTermStreamer,     module_name: &str,     var_info: &mut VarInfo,     sort_statements: &mut Vec<Statement>,     print_output: bool,     _write_log: bool )

Trait Implementations

impl Debug for OutputTermStreamer

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

Formats the value using the given formatter.