[−][src]Trait batsat::clause::display::Print

pub trait Print: Sized {
    pub fn fmt_dimacs(&self, out: &mut Formatter<'_>) -> Result;

    pub fn pp_dimacs(&self) -> PrintWrapper<'_, Self> { ... }
}

Objects that can be printed in DIMACS syntax

Required methods

pub fn fmt_dimacs(&self, out: &mut Formatter<'_>) -> Result[src]

Loading content...

Provided methods

pub fn pp_dimacs(&self) -> PrintWrapper<'_, Self>[src]

Any type implementing T can be used in a format string by just using x.pp_dimacs() instead of x.

use batsat::*;
let v: Vec<Lit> = vec![];
format!("as dimacs: {}", v.pp_dimacs());
Loading content...

Implementors

impl<T: ClauseIterable> Print for T[src]

Any iterable clause can be printed in DIMACS

Loading content...