diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-14 15:13:05 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-14 15:13:05 +0000 |
commit | 4c49dd9bcc859a07bebf969ee126ee2f4ffa2384 (patch) | |
tree | ed8d169dcc089b5d3dd7b195ac6cc1b077a3559a /src/theory/arrays | |
parent | 39c17191ad88a50bfffdbbc5ed8b493ad99b3fb5 (diff) |
fixing up preregistration again
Diffstat (limited to 'src/theory/arrays')
-rw-r--r-- | src/theory/arrays/array_info.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/theory/arrays/array_info.cpp b/src/theory/arrays/array_info.cpp index 643fbaedf..c062f4edc 100644 --- a/src/theory/arrays/array_info.cpp +++ b/src/theory/arrays/array_info.cpp @@ -176,8 +176,9 @@ void ArrayInfo::setRIntro1Applied(const TNode a) { const Info* ArrayInfo::getInfo(const TNode a) const{ CNodeInfoMap::const_iterator it = info_map.find(a); - if(it!= info_map.end()) + if(it!= info_map.end()) { return (*it).second; + } return emptyInfo; } @@ -185,8 +186,9 @@ const bool ArrayInfo::isNonLinear(const TNode a) const { CNodeInfoMap::const_iterator it = info_map.find(a); - if(it!= info_map.end()) + if(it!= info_map.end()) { return (*it).second->isNonLinear; + } return false; } @@ -194,8 +196,9 @@ const bool ArrayInfo::rIntro1Applied(const TNode a) const { CNodeInfoMap::const_iterator it = info_map.find(a); - if(it!= info_map.end()) + if(it!= info_map.end()) { return (*it).second->rIntro1Applied; + } return false; } |