reluctant Struct Reference

#include <reluctant.h>

Public Attributes
bool	limited
bool	trigger
uint64_t	period
uint64_t	wait
uint64_t	u
uint64_t	v
uint64_t	limit

Detailed Description

Definition at line 12 of file reluctant.h.

Member Data Documentation

limit

uint64_t reluctant::limit

Definition at line 18 of file reluctant.h.

limited

bool reluctant::limited

Definition at line 13 of file reluctant.h.

period

uint64_t reluctant::period

Definition at line 15 of file reluctant.h.

trigger

bool reluctant::trigger

Definition at line 14 of file reluctant.h.

u

uint64_t reluctant::u

Definition at line 17 of file reluctant.h.

v

uint64_t reluctant::v

Definition at line 17 of file reluctant.h.

wait

uint64_t reluctant::wait

Definition at line 16 of file reluctant.h.

---

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

• src/sat/kissat/reluctant.h