Searched defs:AtomicFormula (Results 1 – 1 of 1) sorted by relevance
162 class AtomicFormula class167 explicit AtomicFormula (Literal* lit) in AtomicFormula() function in Kernel::AtomicFormula