Definition at line 49 of file bmc_cover.cpp.
◆ instancest
◆ goalt() [1/2]
bmc_covert::goalt::goalt |
( |
const std::string & |
_description, |
|
|
const source_locationt & |
_source_location |
|
) |
| |
|
inline |
◆ goalt() [2/2]
bmc_covert::goalt::goalt |
( |
| ) |
|
|
inline |
◆ add_instance()
void bmc_covert::goalt::add_instance |
( |
symex_target_equationt::SSA_stepst::iterator |
step, |
|
|
literalt |
condition |
|
) |
| |
|
inline |
◆ as_expr()
exprt bmc_covert::goalt::as_expr |
( |
| ) |
const |
|
inline |
◆ description
std::string bmc_covert::goalt::description |
◆ instances
◆ satisfied
bool bmc_covert::goalt::satisfied |
◆ source_location
The documentation for this struct was generated from the following file: