source: src/ResolvExpr/ResolveAssertions.h @ 8573729

resolv-new
Last change on this file since 8573729 was 8573729, checked in by Aaron Moss <a3moss@…>, 6 years ago

Start new assertion resolution branch

  • assertion resolution visitor is stubbed in
  • ignores equally-minimal deleted expressions
  • Property mode set to 100644
File size: 646 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2018 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// ResolveAssertions.h --
8//
9// Author           : Aaron B. Moss
10// Created On       : Mon Mar 12 17:05:00 2018
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Mon Mar 12 17:05:00 2018
13// Update Count     : 1
14//
15
16#pragma once
17
18#include "SynTree/SynTree.h"
19
20namespace ResolvExpr {
21        bool resolveAssertions( const Expression* expr );
22}
23
24// Local Variables: //
25// tab-width: 4 //
26// mode: c++ //
27// compile-command: "make install" //
28// End: //
Note: See TracBrowser for help on using the repository browser.