Enum InterpolationAlgorithm 

pub enum InterpolationAlgorithm {
    McMillan,
    Pudlak,
    Huang,
}

Interpolation algorithm selection

Variants

McMillan

McMillan’s algorithm - produces weaker (left-biased) interpolants Better for model checking as interpolants are more general

Pudlak

Pudlák’s symmetric algorithm - balanced interpolants

Huang

Huang’s algorithm - produces stronger (right-biased) interpolants

Trait Implementations

impl Clone for InterpolationAlgorithm

fn clone(&self) -> InterpolationAlgorithm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InterpolationAlgorithm

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

Formats the value using the given formatter.

impl Default for InterpolationAlgorithm

fn default() -> InterpolationAlgorithm

Returns the “default value” for a type.

impl PartialEq for InterpolationAlgorithm

fn eq(&self, other: &InterpolationAlgorithm) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for InterpolationAlgorithm

impl Eq for InterpolationAlgorithm

impl StructuralPartialEq for InterpolationAlgorithm