Trait splr::types::ClauseIdIF

pub trait ClauseIdIF {
    pub fn is_lifted_lit(self) -> bool;
}

API for Clause Id.

Required methods

pub fn is_lifted_lit(self) -> bool

return true if a given clause id is made from a Lit.

Loading content...

Implementors

impl ClauseIdIF for ClauseId

pub fn is_lifted_lit(self) -> bool

return true if the clause is generated from a literal by Eliminator.

Loading content...