Enum CommandOutput

pub enum CommandOutput {
    PrintFunctionSize(usize),
    PrintAllFunctionsSize(Vec<(String, usize)>),
    ExtractBest(TermDag, DefaultCost, Term),
    ExtractVariants(TermDag, Vec<Term>),
    OverallStatistics(RunReport),
    PrintFunction(Function, TermDag, Vec<(Term, Term)>, PrintFunctionMode),
    RunSchedule(RunReport),
    UserDefined(Arc<dyn UserDefinedCommandOutput>),
}

Output from a command.

Variants

PrintFunctionSize(usize)

The size of a function

PrintAllFunctionsSize(Vec<(String, usize)>)

The name of all functions and their sizes

ExtractBest(TermDag, DefaultCost, Term)

The best function found after extracting

ExtractVariants(TermDag, Vec<Term>)

The variants of a function found after extracting

OverallStatistics(RunReport)

The report from all runs

PrintFunction(Function, TermDag, Vec<(Term, Term)>, PrintFunctionMode)

A printed function and all its values

RunSchedule(RunReport)

The report from a single run

UserDefined(Arc<dyn UserDefinedCommandOutput>)

A user defined output

Trait Implementations

impl Clone for CommandOutput

fn clone(&self) -> CommandOutput

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CommandOutput

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

Formats the value using the given formatter.

impl Display for CommandOutput

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

Format the command output for display, ending with a newline.