#include <flags.h>

Public Attributes
bool	active: 1

bool	backbone0: 1

bool	backbone1: 1

bool	eliminate: 1

bool	eliminated: 1

unsigned	factor: 2

bool	fixed: 1

bool	subsume: 1

bool	sweep: 1

bool	transitive: 1

Detailed Description

Definition at line 11 of file flags.h.

Member Data Documentation

◆ active

bool flags::active

Definition at line 12 of file flags.h.

◆ backbone0

bool flags::backbone0

Definition at line 13 of file flags.h.

◆ backbone1

bool flags::backbone1

Definition at line 14 of file flags.h.

◆ eliminate

bool flags::eliminate

Definition at line 15 of file flags.h.

◆ eliminated

bool flags::eliminated

Definition at line 16 of file flags.h.

◆ factor

unsigned flags::factor

Definition at line 17 of file flags.h.

◆ fixed

bool flags::fixed

Definition at line 18 of file flags.h.

◆ subsume

bool flags::subsume

Definition at line 19 of file flags.h.

◆ sweep

bool flags::sweep

Definition at line 20 of file flags.h.

◆ transitive

bool flags::transitive

Definition at line 21 of file flags.h.

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

src/sat/kissat/flags.h

Public Attributes