SpecialFunctionHandler.h File Reference

#include <map>
#include <vector>
#include <string>

Include dependency graph for SpecialFunctionHandler.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	klee::SpecialFunctionHandler
Namespaces
namespace	llvm
namespace	klee
Defines
#define	HANDLER(name)

---

Define Documentation

#define HANDLER

(

name

)

Value:

void name(ExecutionState &state, \
                                KInstruction *target, \
                                std::vector< ref<Expr> > &arguments)

Definition at line 64 of file SpecialFunctionHandler.h.