Struct Interpolant 

pub struct Interpolant {
    pub formula: String,
    pub symbols: FxHashSet<String>,
}

An interpolant formula.

Fields

formula: String

The interpolant formula (as a string).

symbols: FxHashSet<String>

Symbols used in the interpolant.

Implementations

impl Interpolant

pub fn new(formula: impl Into<String>) -> Self

Create a new interpolant.

pub fn is_valid( &self, a_symbols: &FxHashSet<String>, b_symbols: &FxHashSet<String>, ) -> bool

Check if the interpolant only uses common symbols.

Trait Implementations

impl Clone for Interpolant

fn clone(&self) -> Interpolant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interpolant

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

Formats the value using the given formatter.

impl Display for Interpolant

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

Formats the value using the given formatter.