Collaboration diagram for cadical_kitten:

[legend]

Public Attributes
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	rcore

unsigneds	eclause

unsigneds	export_

unsigneds	klause

unsigneds	klauses

unsigneds	resolved

unsigneds	trail

unsigneds	units

unsigneds	prime [2]

kimits	limits

int(*	terminator )(void *)

void *	terminator_data

unsigneds	clause

uint64_t	initialized

statistics	statistics

Detailed Description

Definition at line 135 of file cadical_kitten.c.

Member Data Documentation

◆ analyzed

unsigneds cadical_kitten::analyzed

Definition at line 180 of file cadical_kitten.c.

◆ antecedents

bool cadical_kitten::antecedents

Definition at line 143 of file cadical_kitten.c.

◆ assumptions

unsigneds cadical_kitten::assumptions

Definition at line 181 of file cadical_kitten.c.

◆ clause

unsigneds cadical_kitten::clause

Definition at line 196 of file cadical_kitten.c.

◆ core

unsigneds cadical_kitten::core

Definition at line 182 of file cadical_kitten.c.

◆ eclause

unsigneds cadical_kitten::eclause

Definition at line 184 of file cadical_kitten.c.

◆ end_original_ref

size_t cadical_kitten::end_original_ref

Definition at line 157 of file cadical_kitten.c.

◆ esize

size_t cadical_kitten::esize

Definition at line 169 of file cadical_kitten.c.

◆ evars

size_t cadical_kitten::evars

Definition at line 155 of file cadical_kitten.c.

◆ export_

unsigneds cadical_kitten::export_

Definition at line 185 of file cadical_kitten.c.

◆ failed

bool* cadical_kitten::failed

Definition at line 175 of file cadical_kitten.c.

◆ failing

unsigned cadical_kitten::failing

Definition at line 150 of file cadical_kitten.c.

◆ first

unsigned cadical_kitten::first

Definition at line 160 of file cadical_kitten.c.

◆ generator

uint64_t cadical_kitten::generator

Definition at line 152 of file cadical_kitten.c.

◆ import

unsigned* cadical_kitten::import

Definition at line 177 of file cadical_kitten.c.

◆ inconsistent

unsigned cadical_kitten::inconsistent

Definition at line 149 of file cadical_kitten.c.

◆ initialized

uint64_t cadical_kitten::initialized

Definition at line 197 of file cadical_kitten.c.

◆ klause

unsigneds cadical_kitten::klause

Definition at line 186 of file cadical_kitten.c.

◆ klauses

unsigneds cadical_kitten::klauses

Definition at line 187 of file cadical_kitten.c.

◆ last

unsigned cadical_kitten::last

Definition at line 160 of file cadical_kitten.c.

◆ learned

bool cadical_kitten::learned

Definition at line 144 of file cadical_kitten.c.

◆ level

unsigned cadical_kitten::level

Definition at line 146 of file cadical_kitten.c.

◆ limits

kimits cadical_kitten::limits

Definition at line 193 of file cadical_kitten.c.

◆ links

kink* cadical_kitten::links

Definition at line 172 of file cadical_kitten.c.

◆ lits

size_t cadical_kitten::lits

Definition at line 154 of file cadical_kitten.c.

◆ marks

value* cadical_kitten::marks

Definition at line 173 of file cadical_kitten.c.

◆ phases

unsigned char* cadical_kitten::phases

Definition at line 176 of file cadical_kitten.c.

◆ prime

unsigneds cadical_kitten::prime[2]

Definition at line 191 of file cadical_kitten.c.

◆ propagated

unsigned cadical_kitten::propagated

Definition at line 147 of file cadical_kitten.c.

◆ [struct]

struct { ... } cadical_kitten::queue

◆ rcore

unsigneds cadical_kitten::rcore

Definition at line 183 of file cadical_kitten.c.

◆ resolved

unsigneds cadical_kitten::resolved

Definition at line 188 of file cadical_kitten.c.

◆ search

unsigned cadical_kitten::search

Definition at line 162 of file cadical_kitten.c.

◆ size

size_t cadical_kitten::size

Definition at line 168 of file cadical_kitten.c.

◆ stamp

uint64_t cadical_kitten::stamp

Definition at line 161 of file cadical_kitten.c.

◆ statistics

statistics cadical_kitten::statistics

Definition at line 198 of file cadical_kitten.c.

◆ status

int cadical_kitten::status

Definition at line 138 of file cadical_kitten.c.

◆ terminator

int(* cadical_kitten::terminator) (void *)

Definition at line 194 of file cadical_kitten.c.

◆ terminator_data

void* cadical_kitten::terminator_data

Definition at line 195 of file cadical_kitten.c.

◆ trail

unsigneds cadical_kitten::trail

Definition at line 189 of file cadical_kitten.c.

◆ unassigned

unsigned cadical_kitten::unassigned

Definition at line 148 of file cadical_kitten.c.

◆ units

unsigneds cadical_kitten::units

Definition at line 190 of file cadical_kitten.c.

◆ values

value* cadical_kitten::values

Definition at line 174 of file cadical_kitten.c.

◆ vars

kar* cadical_kitten::vars

Definition at line 171 of file cadical_kitten.c.

◆ watches

katches* cadical_kitten::watches

Definition at line 178 of file cadical_kitten.c.

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

src/sat/cadical/cadical_kitten.c

Public Attributes