blob: 5b04380e7483015c29a7314dca4f1e6f246a87fb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
//===-- Casting.h -----------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef KLEE_CASTING_H
#define KLEE_CASTING_H
#include "klee/Config/Version.h"
#include "llvm/Support/Casting.h"
namespace klee {
using llvm::cast;
using llvm::cast_or_null;
using llvm::dyn_cast;
using llvm::dyn_cast_or_null;
using llvm::isa;
using llvm::isa_and_nonnull;
} // namespace klee
#endif /* KLEE_CASTING_H */
|