CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
cover_goalst::goalt Struct Reference

#include <cover_goals.h>

+ Collaboration diagram for cover_goalst::goalt:

Public Types

enum class  statust { UNKNOWN , COVERED , UNCOVERED , ERROR }
 

Public Member Functions

 goalt (exprt _condition)
 

Public Attributes

exprt condition
 
enum cover_goalst::goalt::statust status
 

Detailed Description

Definition at line 42 of file cover_goals.h.

Member Enumeration Documentation

◆ statust

enum cover_goalst::goalt::statust
strong
Enumerator
UNKNOWN 
COVERED 
UNCOVERED 
ERROR 

Definition at line 45 of file cover_goals.h.

Constructor & Destructor Documentation

◆ goalt()

cover_goalst::goalt::goalt ( exprt  _condition)
inlineexplicit

Definition at line 47 of file cover_goals.h.

Member Data Documentation

◆ condition

exprt cover_goalst::goalt::condition

Definition at line 44 of file cover_goals.h.

◆ status

enum cover_goalst::goalt::statust cover_goalst::goalt::status
The documentation for this struct was generated from the following file: