Changeset 2773ab8 for src/ResolvExpr/CandidateFinder.hpp

Timestamp:

Jun 10, 2019, 5:20:07 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5485e10

Parents:

6949c45

Message:

Add new resolver overload for WaitForStmt?

File:

• src/ResolvExpr/CandidateFinder.hpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.hpp

@@ -36 +36 @@
         /// Fill candidates with feasible resolutions for `expr`
         void find( const ast::Expr * expr, ResolvMode mode = {} );
+
+        /// Runs new candidate finder on each element in xs, returning the list of finders
+        std::vector< CandidateFinder > findSubExprs( const std::vector< ast::ptr< ast::Expr > > & xs );
+
+        using value_type = CandidateList::value_type;
+        using iterator = CandidateList::iterator;
+        using const_iterator = CandidateList::const_iterator;
+
+        iterator begin() { return candidates.begin(); }
+        const_iterator begin() const { return candidates.begin(); }
+        
+        iterator end() { return candidates.end(); }
+        const_iterator end() const { return candidates.end(); }
 };