triton::ast::representations::AstSmtRepresentation Class Reference

SMT representation. More...

#include <astSmtRepresentation.hpp>

Inheritance diagram for triton::ast::representations::AstSmtRepresentation:

Public Member Functions
TRITON_EXPORT	AstSmtRepresentation ()
	Constructor.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::AbstractNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ArrayNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::AssertNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BswapNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvaddNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvandNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvashrNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvlshrNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvmulNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvnandNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvnegNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvnorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvnotNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvrolNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvrorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsdivNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsgeNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsgtNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvshlNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsleNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsltNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsmodNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsremNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvsubNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvudivNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvugeNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvugtNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvuleNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvultNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvuremNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvxnorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::BvxorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::CompoundNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ConcatNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::DeclareNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::DistinctNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::EqualNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ExtractNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ForallNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::IffNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::IntegerNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::IteNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::LandNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::LetNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::LnotNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::LorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::LxorNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ReferenceNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::SelectNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::StoreNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::StringNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::SxNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::VariableNode *node)
	Displays the node according to the representation mode.
TRITON_EXPORT std::ostream &	print (std::ostream &stream, triton::ast::ZxNode *node)
	Displays the node according to the representation mode.
Public Member Functions inherited from triton::ast::representations::AstRepresentationInterface
virtual TRITON_EXPORT	~AstRepresentationInterface ()
	Constructor.

Detailed Description

SMT representation.

Definition at line 43 of file astSmtRepresentation.hpp.

Constructor & Destructor Documentation

AstSmtRepresentation()

triton::ast::representations::AstSmtRepresentation::AstSmtRepresentation

(

)

Constructor.

Definition at line 19 of file astSmtRepresentation.cpp.

Member Function Documentation

print() [1/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print ( std::ostream &  stream, triton::ast::AbstractNode *  node  )

virtual

Displays the node according to the representation mode.

Implements triton::ast::representations::AstRepresentationInterface.

Definition at line 24 of file astSmtRepresentation.cpp.

print() [2/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ArrayNode *	node
	)

Displays the node according to the representation mode.

Definition at line 89 of file astSmtRepresentation.cpp.

print() [3/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::AssertNode *	node
	)

Displays the node according to the representation mode.

Definition at line 96 of file astSmtRepresentation.cpp.

print() [4/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BswapNode *	node
	)

Displays the node according to the representation mode.

Definition at line 103 of file astSmtRepresentation.cpp.

print() [5/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvaddNode *	node
	)

Displays the node according to the representation mode.

Definition at line 110 of file astSmtRepresentation.cpp.

print() [6/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvandNode *	node
	)

Displays the node according to the representation mode.

Definition at line 117 of file astSmtRepresentation.cpp.

print() [7/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvashrNode *	node
	)

Displays the node according to the representation mode.

Definition at line 124 of file astSmtRepresentation.cpp.

print() [8/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvlshrNode *	node
	)

Displays the node according to the representation mode.

Definition at line 131 of file astSmtRepresentation.cpp.

print() [9/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvmulNode *	node
	)

Displays the node according to the representation mode.

Definition at line 138 of file astSmtRepresentation.cpp.

print() [10/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvnandNode *	node
	)

Displays the node according to the representation mode.

Definition at line 145 of file astSmtRepresentation.cpp.

print() [11/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvnegNode *	node
	)

Displays the node according to the representation mode.

Definition at line 152 of file astSmtRepresentation.cpp.

print() [12/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvNode *	node
	)

Displays the node according to the representation mode.

Definition at line 313 of file astSmtRepresentation.cpp.

print() [13/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvnorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 159 of file astSmtRepresentation.cpp.

print() [14/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvnotNode *	node
	)

Displays the node according to the representation mode.

Definition at line 166 of file astSmtRepresentation.cpp.

print() [15/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 173 of file astSmtRepresentation.cpp.

print() [16/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvrolNode *	node
	)

Displays the node according to the representation mode.

Definition at line 180 of file astSmtRepresentation.cpp.

print() [17/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvrorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 187 of file astSmtRepresentation.cpp.

print() [18/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsdivNode *	node
	)

Displays the node according to the representation mode.

Definition at line 194 of file astSmtRepresentation.cpp.

print() [19/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsgeNode *	node
	)

Displays the node according to the representation mode.

Definition at line 201 of file astSmtRepresentation.cpp.

print() [20/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsgtNode *	node
	)

Displays the node according to the representation mode.

Definition at line 208 of file astSmtRepresentation.cpp.

print() [21/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvshlNode *	node
	)

Displays the node according to the representation mode.

Definition at line 215 of file astSmtRepresentation.cpp.

print() [22/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsleNode *	node
	)

Displays the node according to the representation mode.

Definition at line 222 of file astSmtRepresentation.cpp.

print() [23/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsltNode *	node
	)

Displays the node according to the representation mode.

Definition at line 229 of file astSmtRepresentation.cpp.

print() [24/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsmodNode *	node
	)

Displays the node according to the representation mode.

Definition at line 236 of file astSmtRepresentation.cpp.

print() [25/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsremNode *	node
	)

Displays the node according to the representation mode.

Definition at line 243 of file astSmtRepresentation.cpp.

print() [26/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvsubNode *	node
	)

Displays the node according to the representation mode.

Definition at line 250 of file astSmtRepresentation.cpp.

print() [27/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvudivNode *	node
	)

Displays the node according to the representation mode.

Definition at line 257 of file astSmtRepresentation.cpp.

print() [28/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvugeNode *	node
	)

Displays the node according to the representation mode.

Definition at line 264 of file astSmtRepresentation.cpp.

print() [29/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvugtNode *	node
	)

Displays the node according to the representation mode.

Definition at line 271 of file astSmtRepresentation.cpp.

print() [30/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvuleNode *	node
	)

Displays the node according to the representation mode.

Definition at line 278 of file astSmtRepresentation.cpp.

print() [31/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvultNode *	node
	)

Displays the node according to the representation mode.

Definition at line 285 of file astSmtRepresentation.cpp.

print() [32/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvuremNode *	node
	)

Displays the node according to the representation mode.

Definition at line 292 of file astSmtRepresentation.cpp.

print() [33/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvxnorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 299 of file astSmtRepresentation.cpp.

print() [34/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::BvxorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 306 of file astSmtRepresentation.cpp.

print() [35/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::CompoundNode *	node
	)

Displays the node according to the representation mode.

Definition at line 320 of file astSmtRepresentation.cpp.

print() [36/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ConcatNode *	node
	)

Displays the node according to the representation mode.

Definition at line 333 of file astSmtRepresentation.cpp.

print() [37/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::DeclareNode *	node
	)

Displays the node according to the representation mode.

Definition at line 350 of file astSmtRepresentation.cpp.

print() [38/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::DistinctNode *	node
	)

Displays the node according to the representation mode.

Definition at line 374 of file astSmtRepresentation.cpp.

print() [39/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::EqualNode *	node
	)

Displays the node according to the representation mode.

Definition at line 381 of file astSmtRepresentation.cpp.

print() [40/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ExtractNode *	node
	)

Displays the node according to the representation mode.

Definition at line 388 of file astSmtRepresentation.cpp.

print() [41/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ForallNode *	node
	)

Displays the node according to the representation mode.

Definition at line 395 of file astSmtRepresentation.cpp.

print() [42/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::IffNode *	node
	)

Displays the node according to the representation mode.

Definition at line 412 of file astSmtRepresentation.cpp.

print() [43/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::IntegerNode *	node
	)

Displays the node according to the representation mode.

Definition at line 419 of file astSmtRepresentation.cpp.

print() [44/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::IteNode *	node
	)

Displays the node according to the representation mode.

Definition at line 426 of file astSmtRepresentation.cpp.

print() [45/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::LandNode *	node
	)

Displays the node according to the representation mode.

Definition at line 433 of file astSmtRepresentation.cpp.

print() [46/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::LetNode *	node
	)

Displays the node according to the representation mode.

Definition at line 446 of file astSmtRepresentation.cpp.

print() [47/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::LnotNode *	node
	)

Displays the node according to the representation mode.

Definition at line 453 of file astSmtRepresentation.cpp.

print() [48/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::LorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 460 of file astSmtRepresentation.cpp.

print() [49/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::LxorNode *	node
	)

Displays the node according to the representation mode.

Definition at line 473 of file astSmtRepresentation.cpp.

print() [50/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ReferenceNode *	node
	)

Displays the node according to the representation mode.

Definition at line 486 of file astSmtRepresentation.cpp.

print() [51/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::SelectNode *	node
	)

Displays the node according to the representation mode.

Definition at line 493 of file astSmtRepresentation.cpp.

print() [52/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::StoreNode *	node
	)

Displays the node according to the representation mode.

Definition at line 500 of file astSmtRepresentation.cpp.

print() [53/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::StringNode *	node
	)

Displays the node according to the representation mode.

Definition at line 507 of file astSmtRepresentation.cpp.

print() [54/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::SxNode *	node
	)

Displays the node according to the representation mode.

Definition at line 514 of file astSmtRepresentation.cpp.

print() [55/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::VariableNode *	node
	)

Displays the node according to the representation mode.

Definition at line 521 of file astSmtRepresentation.cpp.

print() [56/56]

std::ostream & triton::ast::representations::AstSmtRepresentation::print	(	std::ostream &	stream,
		triton::ast::ZxNode *	node
	)

Displays the node according to the representation mode.

Definition at line 531 of file astSmtRepresentation.cpp.

---

The documentation for this class was generated from the following files:

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/astSmtRepresentation.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/ast/representations/astSmtRepresentation.cpp