Trait TermExtSolvable 

pub trait TermExtSolvable {
    // Required methods
    fn is_solvable(&self) -> Option<&Id>;
    fn has_solvable(&self) -> bool;
    fn solvables(&self) -> SmallVec<&Variable, 2>;
}

Required Methods

fn is_solvable(&self) -> Option<&Id>

fn has_solvable(&self) -> bool

fn solvables(&self) -> SmallVec<&Variable, 2>

Implementations on Foreign Types

impl TermExtSolvable for Term

fn is_solvable(&self) -> Option<&Id>

fn has_solvable(&self) -> bool

fn solvables(&self) -> SmallVec<&Variable, 2>

Implementors