source: icGREP/icgrep-devel/icgrep/pablo/analysis/pabloverifier.hpp @ 4951

Last change on this file since 4951 was 4797, checked in by nmedfort, 4 years ago

Progress on multi-target UCD compiler.

File size: 267 bytes
Line 
1#ifndef PABLOVERIFIER_HPP
2#define PABLOVERIFIER_HPP
3
4#include <string>
5
6namespace pablo {
7
8class PabloFunction;
9
10class PabloVerifier {
11public:
12    static void verify(const PabloFunction & function, const std::string location = "");
13};
14
15}
16
17#endif // PABLOVERIFIER_HPP
Note: See TracBrowser for help on using the repository browser.