diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-08 21:53:14 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-08 21:53:14 +0000 |
commit | 72d6f5d9eb6c28a417b00524eff51ea38e37d985 (patch) | |
tree | 2a7633872b9dc78fba3bbdd510a360435c4def39 /src/theory | |
parent | b3470b5e0b7a664443b9f835db5dd86fb1487866 (diff) |
Review of trunk r4525 (TypeNode::getBaseType()):
* fixed TypeNode::getBaseType() for predicate subtypes
* added Type::getBaseType() for public interface
* added unit testing
To avoid confusion, also:
* renamed PredicateType::getBaseType() to "getParentType()"
* renamed TypeNode::getSubtypeBaseType() to "getSubtypeParentType()"
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/theory.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index 195e37154..9cc5058cc 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -308,7 +308,7 @@ public: Trace("theory::internal") << "theoryOf(" << typeNode << ")" << std::endl; TheoryId id; while (typeNode.isPredicateSubtype()) { - typeNode = typeNode.getSubtypeBaseType(); + typeNode = typeNode.getSubtypeParentType(); } if (typeNode.getKind() == kind::TYPE_CONSTANT) { id = typeConstantToTheoryId(typeNode.getConst<TypeConstant>()); |