Searched defs:QuantifiedFormula (Results 1 – 1 of 1) sorted by relevance
189 class QuantifiedFormula class194 QuantifiedFormula(Connective con, VarList* vs, SortList* ss, Formula* arg) in QuantifiedFormula() function in Kernel::QuantifiedFormula