ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
termination Struct Reference

#include <internal.h>

Public Attributes

volatile bool flagged
 
volatile void * state
 
int(*volatile terminate )(void *)
 

Detailed Description

Definition at line 57 of file internal.h.

Member Data Documentation

◆ flagged

volatile bool termination::flagged

Definition at line 61 of file internal.h.

◆ state

volatile void* termination::state

Definition at line 63 of file internal.h.

◆ terminate

int(*volatile termination::terminate) (void *)

Definition at line 64 of file internal.h.


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