commit | 46addafcab94965f1401d97443ee0d95e73ed0b4 | [log] [tgz] |
---|---|---|
author | Shawn O. Pearce <sop@google.com> | Mon Jun 06 08:40:04 2011 -0700 |
committer | Shawn O. Pearce <sop@google.com> | Mon Jun 06 09:18:36 2011 -0700 |
tree | 1730e2463a07358849a0654f9aa6b60fa09b2e76 | |
parent | b5c37304f66636cfb5feaf741d351e2dac69def1 [diff] |
Add name() to Term API This can help when matching a StructureTerm with isStructure().