Searched defs:FormulaUnit (Results 1 – 1 of 1) sorted by relevance
44 class FormulaUnit class49 FormulaUnit(Formula* f,const Inference& inf) in FormulaUnit() function in Kernel::FormulaUnit