cprover
bmc_covert::goalt::instancet Struct Reference
Collaboration diagram for bmc_covert::goalt::instancet:
[legend]

Public Attributes

symex_target_equationt::SSA_stepst::iterator step
 
literalt condition
 

Detailed Description

Definition at line 51 of file bmc_cover.cpp.

Member Data Documentation

§ condition

literalt bmc_covert::goalt::instancet::condition

Definition at line 54 of file bmc_cover.cpp.

Referenced by bmc_covert::goalt::add_instance().

§ step

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

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