ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
GNode Struct Reference

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

Member Data Documentation

◆ document_order

int GNode::document_order = 0

◆ edge

◆ expression

std::string GNode::expression

◆ feeds

std::vector<int> GNode::feeds

◆ in_pin_source

std::map<std::string, std::string> GNode::in_pin_source

◆ in_pins

std::map<std::string, int> GNode::in_pins

◆ instance_name

std::string GNode::instance_name

◆ negated

bool GNode::negated = false

◆ storage

std::string GNode::storage

◆ tag

std::string GNode::tag

◆ type_name

std::string GNode::type_name

◆ var

std::string GNode::var

◆ x

int GNode::x = 0

◆ y

int GNode::y = 0

The documentation for this struct was generated from the following file: