cprover
smt2irep.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_SOLVERS_SMT2_SMT2IREP_H
11
#define CPROVER_SOLVERS_SMT2_SMT2IREP_H
12
13
#include <iosfwd>
14
15
#include <
util/irep.h
>
16
17
irept
smt2irep
(std::istream &);
18
19
#endif // CPROVER_SOLVERS_SMT2_SMT2IREP_H
smt2irep
irept smt2irep(std::istream &)
Definition:
smt2irep.cpp:97
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:156
irep.h
solvers
smt2
smt2irep.h
Generated by
1.8.17