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:

• src/sat/kissat/internal.h