source: translator/ResolvExpr/FindOpenVars.h @ 1db2c5be

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 1db2c5be was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit

  • Property mode set to 100644
File size: 493 bytes
Line 
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 */
7
8#ifndef RESOLVEXPR_FINDOPENVARS_H
9#define RESOLVEXPR_FINDOPENVARS_H
10
11#include "Unify.h"
12#include "SynTree/SynTree.h"
13
14namespace ResolvExpr {
15
16void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
17
18} // namespace ResolvExpr
19
20#endif // #ifndef RESOLVEXPR_FINDOPENVARS_H
Note: See TracBrowser for help on using the repository browser.