veripb-formula 0.1.1

VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.
Documentation 
1
2
3
4
5
6
7
8
9

//! Trait for formatting strings using the correct variable name.

use crate::prelude::VarNameManager;

/// Formatting strings using correct variables name mapping.
pub trait ToPrettyString {
    /// Format to a string using the correct variable names.
    fn to_pretty_string(&self, var_names: &VarNameManager) -> String;
}