edget Class Reference

#include <witnesses.h>

Public Member Functions
	edget (void)
	edget (nodet *from_node, nodet *to_node)

Public Attributes
std::string	id
std::string	assumption
std::string	assumption_scope
std::string	assumption_resultfunction
std::string	enter_function
std::string	return_from_function
std::string	thread_id
std::string	create_thread
std::string	origin_file
BigInt	start_line = c_nonset
BigInt	end_line = c_nonset
BigInt	start_offset = c_nonset
BigInt	end_offset = c_nonset
bool	control = false
bool	enter_loop_head = false
nodet *	from_node
nodet *	to_node

Constructor & Destructor Documentation

edget() [1/2]

edget::edget ( void )

inline

edget() [2/2]

edget::edget ( nodet * from_node, nodet * to_node )

inline

Member Data Documentation

assumption

std::string edget::assumption

assumption_resultfunction

std::string edget::assumption_resultfunction

assumption_scope

std::string edget::assumption_scope

control

bool edget::control = false

create_thread

std::string edget::create_thread

end_line

BigInt edget::end_line = c_nonset

end_offset

BigInt edget::end_offset = c_nonset

enter_function

std::string edget::enter_function

enter_loop_head

bool edget::enter_loop_head = false

from_node

nodet* edget::from_node

id

std::string edget::id

origin_file

std::string edget::origin_file

return_from_function

std::string edget::return_from_function

start_line

BigInt edget::start_line = c_nonset

start_offset

BigInt edget::start_offset = c_nonset

thread_id

std::string edget::thread_id

to_node

nodet* edget::to_node

---

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

• src/goto-symex/witness/witnesses.h
• src/goto-symex/witness/witnesses.cpp