source: translator/ResolvExpr/FindOpenVars.h @ 51b7345

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 51b7345 was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit

  • Property mode set to 100644
File size: 493 bytes
RevLine 
[51b7345]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.