Searched defs:BinaryFormula (Results 1 – 1 of 1) sorted by relevance
262 class BinaryFormula class267 explicit BinaryFormula (Connective con,Formula* lhs,Formula* rhs) in BinaryFormula() function in Kernel::BinaryFormula