cprover
|
#include <cover_goals.h>
Public Types | |
enum | statust { statust::UNKNOWN, statust::COVERED, statust::UNCOVERED, statust::ERROR } |
Public Member Functions | |
goalt () | |
Public Attributes | |
literalt | condition |
enum cover_goalst::goalt::statust | status |
Definition at line 38 of file cover_goals.h.
|
strong |
Enumerator | |
---|---|
UNKNOWN | |
COVERED | |
UNCOVERED | |
ERROR |
Definition at line 41 of file cover_goals.h.
|
inline |
Definition at line 43 of file cover_goals.h.
References UNKNOWN.
literalt cover_goalst::goalt::condition |
Definition at line 40 of file cover_goals.h.
enum cover_goalst::goalt::statust cover_goalst::goalt::status |