cprover
static_verifier_resultt Struct Reference
+ Collaboration diagram for static_verifier_resultt:

Public Types

enum  { TRUE, FALSE, BOTTOM, UNKNOWN }
 

Public Attributes

enum static_verifier_resultt:: { ... }  status
 
source_locationt source_location
 
irep_idt function_id
 

Detailed Description

Definition at line 20 of file static_verifier.cpp.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
TRUE 
FALSE 
BOTTOM 
UNKNOWN 

Definition at line 23 of file static_verifier.cpp.

Member Data Documentation

◆ function_id

irep_idt static_verifier_resultt::function_id

Definition at line 26 of file static_verifier.cpp.

◆ source_location

source_locationt static_verifier_resultt::source_location

Definition at line 25 of file static_verifier.cpp.

◆ status

enum { ... } static_verifier_resultt::status

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