8#ifndef TRITON_ASTSMTREPRESENTATION_HPP
9#define TRITON_ASTSMTREPRESENTATION_HPP
35 namespace representations {
(Array (_ BitVec indexSize) (_ BitVec 8)) node
(_ bv<value> <size>) node
(bvadd <expr1> <expr2>) node
(bvand <expr1> <expr2>) node
(bvashr <expr1> <expr2>) node
(bvlshr <expr1> <expr2>) node
(bvmul <expr1> <expr2>) node
(bvnand <expr1> <expr2>) node
(bvnor <expr1> <expr2>) node
(bvor <expr1> <expr2>) node
((_ rotate_left rot) <expr>) node
((_ rotate_right rot) <expr>) node
(bvsdiv <expr1> <expr2>) node
(bvsge <expr1> <expr2>) node
(bvsgt <expr1> <expr2>) node
(bvshl <expr1> <expr2>) node
(bvsle <expr1> <expr2>) node
(bvslt <expr1> <expr2>) node
(bvsmod <expr1> <expr2>) node
(bvsrem <expr1> <expr2>) node
(bvsub <expr1> <expr2>) node
(bvudiv <expr1> <expr2>) node
(bvuge <expr1> <expr2>) node
(bvugt <expr1> <expr2>) node
(bvule <expr1> <expr2>) node
(bvult <expr1> <expr2>) node
(bvurem <expr1> <expr2>) node
(bvxnor <expr1> <expr2>) node
(bvxor <expr1> <expr2>) node
[<expr1> <expr2> <expr3> ...] node
(concat <expr1> <expr2> ...) node
(declare-fun <var_name> () (_ BitVec <var_size>)) node
(distinct <expr1> <expr2> ...) node
(= <expr1> <expr2> ...) node
(forall ((x (_ BitVec <size>)), ...) body)
(ite <ifExpr> <thenExpr> <elseExpr>)
(let ((<alias> <expr2>)) <expr3>)
((_ sign_extend sizeExt) <expr>) node
((_ zero_extend sizeExt) <expr>) node
The AST representation interface.
TRITON_EXPORT AstSmtRepresentation()
Constructor.
TRITON_EXPORT std::ostream & print(std::ostream &stream, triton::ast::AbstractNode *node)
Displays the node according to the representation mode.