cprover
|
#include <cover_goals.h>
Public Member Functions | |
virtual void | goal_covered (const goalt &) |
virtual void | satisfying_assignment () |
Definition at line 77 of file cover_goals.h.
|
inlinevirtual |
Reimplemented in fault_localizationt, and bmc_all_propertiest.
Definition at line 80 of file cover_goals.h.
|
inlinevirtual |
Reimplemented in bmc_covert.
Definition at line 81 of file cover_goals.h.