|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <ld_ast.h>
Public Attributes | |
| ContactKind | kind = ContactKind::NormallyOpen |
| ContactEdge | edge = ContactEdge::None |
| std::string | variable |
| LdLocation | loc |
| ContactEdge ContactNode::edge = ContactEdge::None |
| ContactKind ContactNode::kind = ContactKind::NormallyOpen |
| LdLocation ContactNode::loc |
| std::string ContactNode::variable |