10 #ifndef IR_SEG_SEGBINARYWITHINTCONSTNODE_H
11 #define IR_SEG_SEGBINARYWITHINTCONSTNODE_H
13 #include <llvm/IR/BasicBlock.h>
15 #include "IR/SEG/SymbolicExprGraph.h"
19 class PersistedSEGBinaryWithIntConstNode;
36 BasicBlock *BB, uint64_t Const);
43 virtual PersistedSEGObject *createPersistedObject(
void)
const;
45 virtual void dot(raw_fd_ostream &O)
const;
47 uint64_t getIntConstant()
const;
51 return N->getKind() == SEGOBJK_BinaryWithIntConst;