]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TNode.hh
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / TNode.hh
index 1b816570ef3517233b908a98706b95323e9210c9..adbfe69a68166138564efb94a71fcc6f865fb46d 100644 (file)
@@ -96,6 +96,7 @@ public:
   bool  isC(void) const { return is("c"); }
   bool  isC(const std::string& name) const
   { return isC() && node.getAttribute("name") == name; };
+  bool  isT(void) const { return (is("o") || is("i") || is("n") || is("s")); };
 
   friend class TDocument;