bmc_covert::goalt::instancet Struct Reference

Collaboration diagram for bmc_covert::goalt::instancet:

Public Attributes
symex_target_equationt::SSA_stepst::iterator	step
literalt	condition

Detailed Description

Definition at line 52 of file bmc_cover.cpp.

Member Data Documentation

condition

literalt bmc_covert::goalt::instancet::condition

Definition at line 55 of file bmc_cover.cpp.

step

symex_target_equationt::SSA_stepst::iterator bmc_covert::goalt::instancet::step

Definition at line 54 of file bmc_cover.cpp.

---

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

• cbmc/bmc_cover.cpp