cprover
cover_goalst::goalt Struct Reference

#include <cover_goals.h>

Collaboration diagram for cover_goalst::goalt:
[legend]

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 36 of file cover_goals.h.

Member Enumeration Documentation

§ statust

Enumerator
UNKNOWN 
COVERED 
UNCOVERED 
ERROR 

Definition at line 39 of file cover_goals.h.

Constructor & Destructor Documentation

§ goalt()

cover_goalst::goalt::goalt ( )
inline

Definition at line 41 of file cover_goals.h.

Referenced by cover_goalst::add().

Member Data Documentation

§ condition

literalt cover_goalst::goalt::condition

Definition at line 38 of file cover_goals.h.

Referenced by cover_goalst::add().

§ status

enum cover_goalst::goalt::statust cover_goalst::goalt::status

The documentation for this struct was generated from the following file: