Struct smt2proxy::CommandProcessor

pub struct CommandProcessor { /* fields omitted */ }

An SMT2 command processor.

Implementations

impl CommandProcessor

pub fn logger(&self) -> &Option<Arc<Mutex<File>>>

Access the log file of the command processor, if any.

pub fn process(&mut self, command: Command) -> Vec<Command>

Process a new command and return a sequence of commands ready to be executed, if any.

pub fn stop(&mut self) -> Vec<Command>

Finish processing new commands and return the content of the queue.

Trait Implementations

impl Debug for CommandProcessor

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

Formats the value using the given formatter.

impl From<CommandProcessorConfig> for CommandProcessor

fn from(config: CommandProcessorConfig) -> Self

Performs the conversion.