Searched defs:getBooleanTerm (Results 1 – 1 of 1) sorted by relevance
519 const TermList Formula::getBooleanTerm() const in getBooleanTerm() function in Kernel::Formula525 TermList Formula::getBooleanTerm() in getBooleanTerm() function in Kernel::Formula