/*
 * This file is part of the Cforall project
 *
 * $Id: FindOpenVars.h,v 1.3 2005/08/29 20:14:16 rcbilson Exp $
 *
 */

#ifndef RESOLVEXPR_FINDOPENVARS_H
#define RESOLVEXPR_FINDOPENVARS_H

#include "Unify.h"
#include "SynTree/SynTree.h"

namespace ResolvExpr {

void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );

} // namespace ResolvExpr

#endif // #ifndef RESOLVEXPR_FINDOPENVARS_H