|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Attributes | |
| std::string | tag |
| std::string | var |
| bool | negated = false |
| ContactEdge | edge = ContactEdge::None |
| std::string | storage |
| std::string | type_name |
| std::string | instance_name |
| std::string | expression |
| std::map< std::string, int > | in_pins |
| std::map< std::string, std::string > | in_pin_source |
| std::vector< int > | feeds |
| int | x = 0 |
| int | y = 0 |
| int | document_order = 0 |
| int GNode::document_order = 0 |
| ContactEdge GNode::edge = ContactEdge::None |
| std::string GNode::expression |
| std::vector<int> GNode::feeds |
| std::map<std::string, std::string> GNode::in_pin_source |
| std::map<std::string, int> GNode::in_pins |
| std::string GNode::instance_name |
| std::string GNode::storage |
| std::string GNode::tag |
| std::string GNode::type_name |
| std::string GNode::var |
| int GNode::x = 0 |
| int GNode::y = 0 |