Searched refs:axiomName (Results 1 – 3 of 3) sorted by relevance
714 vstring axiomName; in printStep() local715 if (!outputAxiomNames || !Parse::TPTP::findAxiomName(us, axiomName)) { in printStep()716 axiomName="unknown"; in printStep()718 inferenceStr="file("+fileName+","+quoteAxiomName(axiomName)+")"; in printStep()
889 axiomName :: Declaration -> QName890 axiomName (Axiom _ _ _ _ q _) = q function891 axiomName (ScopedDecl _ (d:_)) = axiomName d function892 axiomName _ = __IMPOSSIBLE__ function
160 return $ if isPathCons == PathCons then Just (A.axiomName c) else Nothing165 let cons = map A.axiomName cs -- get constructor names