Type Definition splr::types::ClauseId

type ClauseId = u32;

'Clause' Identifier, or 'clause' index, starting with one. Note: ids are re-used after 'garbage collection'.

Trait Implementations

impl ClauseIdIF for ClauseId

fn to_lit(self) -> Lit

convert a (lifted) clause id made from a Lit to Lit.

fn is_lifted_lit(self) -> bool

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

fn format(self) -> String

make a string for printing.