Searched defs:JunctionFormula (Results 1 – 1 of 1) sorted by relevance
299 class JunctionFormula class303 JunctionFormula (Connective con, FormulaList* args) in JunctionFormula() function in Kernel::JunctionFormula