cprover
cover_goalst::goalt Struct Reference

#include <cover_goals.h>

+ Collaboration diagram for cover_goalst::goalt:

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
 

Detailed Description

Definition at line 38 of file cover_goals.h.

Member Enumeration Documentation

◆ statust

Enumerator
UNKNOWN 
COVERED 
UNCOVERED 
ERROR 

Definition at line 41 of file cover_goals.h.

Constructor & Destructor Documentation

◆ goalt()

cover_goalst::goalt::goalt ( )
inline

Definition at line 43 of file cover_goals.h.

Member Data Documentation

◆ condition

literalt cover_goalst::goalt::condition

Definition at line 40 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: