nodet Class Reference

#include <witnesses.h>

Public Member Functions
	nodet (void)

Public Attributes
std::string	id
bool	entry = false
bool	sink = false
bool	violation = false
bool	cycle_head = false
std::string	invariant
std::string	invariant_scope
std::string	cwe

Constructor & Destructor Documentation

nodet()

nodet::nodet ( void )

inline

Member Data Documentation

cwe

std::string nodet::cwe

cycle_head

bool nodet::cycle_head = false

entry

bool nodet::entry = false

id

std::string nodet::id

invariant

std::string nodet::invariant

invariant_scope

std::string nodet::invariant_scope

sink

bool nodet::sink = false

violation

bool nodet::violation = false

---

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

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