cprover
cpp_util.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author:
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_CPP_CPP_UTIL_H
11
#define CPROVER_CPP_CPP_UTIL_H
12
13
#include <
util/expr.h
>
14
#include <
util/symbol.h
>
15
16
symbol_exprt
cpp_symbol_expr
(
const
symbolt
&symbol);
17
18
inline
void
already_typechecked
(
irept
&irep)
19
{
20
exprt
tmp(ID_already_typechecked);
21
tmp.
copy_to_operands
(static_cast<exprt &>(irep));
22
irep.
swap
(tmp);
23
}
24
25
#endif // CPROVER_CPP_CPP_UTIL_H
exprt::copy_to_operands
void copy_to_operands(const exprt &expr)
Copy the given argument to the end of exprt's operands.
Definition:
expr.h:123
cpp_symbol_expr
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition:
cpp_util.cpp:14
already_typechecked
void already_typechecked(irept &irep)
Definition:
cpp_util.h:18
exprt
Base class for all expressions.
Definition:
expr.h:54
symbol_exprt
Expression to hold a symbol (variable)
Definition:
std_expr.h:143
expr.h
irept::swap
void swap(irept &irep)
Definition:
irep.h:303
symbol.h
Symbol table entry.
symbolt
Symbol table entry.
Definition:
symbol.h:27
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:156
cpp
cpp_util.h
Generated by
1.8.16