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

Public Attributes

std::set< std::string > contact
std::set< std::string > coil
std::set< std::string > block_out
std::set< std::string > pin_in

Member Data Documentation

◆ block_out

std::set<std::string> VariableUses::block_out

◆ coil

std::set<std::string> VariableUses::coil

◆ contact

std::set<std::string> VariableUses::contact

◆ pin_in

std::set<std::string> VariableUses::pin_in

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