Trait modus_lib::logic::Ground

pub trait Ground {
    fn is_ground(&self) -> bool;
}

Required methods

fn is_ground(&self) -> bool

Implementors

impl Ground for IRTerm

impl Ground for Clause

impl Ground for Literal

impl Ground for Substitution