Collaboration diagram for kitten:

[legend]

Public Attributes
struct kissat *	kissat

int	status

bool	antecedents

bool	learned

unsigned	level

unsigned	propagated

unsigned	unassigned

unsigned	inconsistent

unsigned	failing

uint64_t	generator

size_t	lits

size_t	evars

size_t	end_original_ref

struct {

unsigned first

unsigned last

uint64_t stamp

unsigned search

}	queue

size_t	size

size_t	esize

kar *	vars

kink *	links

value *	marks

value *	values

bool *	failed

unsigned char *	phases

unsigned *	import

katches *	watches

unsigneds	analyzed

unsigneds	assumptions

unsigneds	core

unsigneds	eclause

unsigneds	export_

unsigneds	klause

unsigneds	klauses

unsigneds	resolved

unsigneds	trail

unsigneds	units

kimits	limits

uint64_t	initialized

Detailed Description

Definition at line 208 of file kitten.c.

Member Data Documentation

◆ analyzed

unsigneds kitten::analyzed

Definition at line 258 of file kitten.c.

◆ antecedents

bool kitten::antecedents

Definition at line 221 of file kitten.c.

◆ assumptions

unsigneds kitten::assumptions

Definition at line 259 of file kitten.c.

◆ core

unsigneds kitten::core

Definition at line 260 of file kitten.c.

◆ eclause

unsigneds kitten::eclause

Definition at line 261 of file kitten.c.

◆ end_original_ref

size_t kitten::end_original_ref

Definition at line 235 of file kitten.c.

◆ esize

size_t kitten::esize

Definition at line 247 of file kitten.c.

◆ evars

size_t kitten::evars

Definition at line 233 of file kitten.c.

◆ export_

unsigneds kitten::export_

Definition at line 262 of file kitten.c.

◆ failed

bool* kitten::failed

Definition at line 253 of file kitten.c.

◆ failing

unsigned kitten::failing

Definition at line 228 of file kitten.c.

◆ first

unsigned kitten::first

Definition at line 238 of file kitten.c.

◆ generator

uint64_t kitten::generator

Definition at line 230 of file kitten.c.

◆ import

unsigned* kitten::import

Definition at line 255 of file kitten.c.

◆ inconsistent

unsigned kitten::inconsistent

Definition at line 227 of file kitten.c.

◆ initialized

uint64_t kitten::initialized

Definition at line 270 of file kitten.c.

◆ kissat

struct kissat* kitten::kissat

Definition at line 210 of file kitten.c.

◆ klause

unsigneds kitten::klause

Definition at line 263 of file kitten.c.

◆ klauses

unsigneds kitten::klauses

Definition at line 264 of file kitten.c.

◆ last

unsigned kitten::last

Definition at line 238 of file kitten.c.

◆ learned

bool kitten::learned

Definition at line 222 of file kitten.c.

◆ level

unsigned kitten::level

Definition at line 224 of file kitten.c.

◆ limits

kimits kitten::limits

Definition at line 269 of file kitten.c.

◆ links

kink* kitten::links

Definition at line 250 of file kitten.c.

◆ lits

size_t kitten::lits

Definition at line 232 of file kitten.c.

◆ marks

value* kitten::marks

Definition at line 251 of file kitten.c.

◆ phases

unsigned char* kitten::phases

Definition at line 254 of file kitten.c.

◆ propagated

unsigned kitten::propagated

Definition at line 225 of file kitten.c.

◆ [struct]

struct { ... } kitten::queue

◆ resolved

unsigneds kitten::resolved

Definition at line 265 of file kitten.c.

◆ search

unsigned kitten::search

Definition at line 240 of file kitten.c.

◆ size

size_t kitten::size

Definition at line 246 of file kitten.c.

◆ stamp

uint64_t kitten::stamp

Definition at line 239 of file kitten.c.

◆ status

int kitten::status

Definition at line 216 of file kitten.c.

◆ trail

unsigneds kitten::trail

Definition at line 266 of file kitten.c.

◆ unassigned

unsigned kitten::unassigned

Definition at line 226 of file kitten.c.

◆ units

unsigneds kitten::units

Definition at line 267 of file kitten.c.

◆ values

value* kitten::values

Definition at line 252 of file kitten.c.

◆ vars

kar* kitten::vars

Definition at line 249 of file kitten.c.

◆ watches

katches* kitten::watches

Definition at line 256 of file kitten.c.

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

src/sat/kissat/kitten.c

Public Attributes