Changeset a32b204 for translator/ResolvExpr/FindOpenVars.h
- Timestamp:
- May 17, 2015, 1:19:35 PM (9 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 0dd3a2f
- Parents:
- b87a5ed
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
translator/ResolvExpr/FindOpenVars.h
rb87a5ed ra32b204 1 /* 2 * This file is part of the Cforall project 3 * 4 * $Id: FindOpenVars.h,v 1.3 2005/08/29 20:14:16 rcbilson Exp $ 5 * 6 */ 1 // 2 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo 3 // 4 // The contents of this file are covered under the licence agreement in the 5 // file "LICENCE" distributed with Cforall. 6 // 7 // FindOpenVars.h -- 8 // 9 // Author : Richard C. Bilson 10 // Created On : Sun May 17 09:46:04 2015 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sun May 17 09:47:20 2015 13 // Update Count : 2 14 // 7 15 8 #ifndef RESOLVEXPR_FINDOPENVARS_H9 #define RESOLVEXPR_FINDOPENVARS_H16 #ifndef FINDOPENVARS_H 17 #define FINDOPENVARS_H 10 18 11 19 #include "Unify.h" … … 13 21 14 22 namespace ResolvExpr { 15 16 void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen ); 17 23 void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen ); 18 24 } // namespace ResolvExpr 19 25 20 #endif // #ifndef RESOLVEXPR_FINDOPENVARS_H 26 #endif // FINDOPENVARS_H 27 28 // Local Variables: // 29 // tab-width: 4 // 30 // mode: c++ // 31 // compile-command: "make install" // 32 // End: //
Note: See TracChangeset
for help on using the changeset viewer.