Changes in src/ResolvExpr/FindOpenVars.h [2908f08:c6b4432]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/FindOpenVars.h
r2908f08 rc6b4432 23 23 24 24 namespace ResolvExpr { 25 enum FirstMode { FirstClosed, FirstOpen }; 25 26 26 enum FirstMode { FirstClosed, FirstOpen }; 27 28 // Updates open and closed variables and their associated assertions 29 void findOpenVars( 30 const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed, 31 ast::AssertionSet & need, ast::AssertionSet & have, ast::TypeEnvironment & env, FirstMode firstIsOpen ); 32 27 // Updates open and closed variables and their associated assertions 28 void findOpenVars( 29 const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed, 30 ast::AssertionSet & need, ast::AssertionSet & have, ast::TypeEnvironment & env, FirstMode firstIsOpen ); 33 31 } // namespace ResolvExpr 34 32
Note: See TracChangeset
for help on using the changeset viewer.