#include <internal.h>

Collaboration diagram for kissat:

[legend]

Public Attributes
bool	extended

bool	inconsistent

bool	iterating

bool	preprocessing

bool	probing

bool	stable

bool	warming

bool	watching

bool	large_clauses_watched_after_binary_clauses

termination	termination

unsigned	vars

unsigned	size

unsigned	active

unsigned	randec

ints	export_

ints	units

imports	import

extensions	extend

unsigneds	witness

assigned *	assigned

flags *	flags

mark *	marks

value *	values

phases	phases

eliminated	eliminated

unsigneds	etrail

links *	links

queue	queue

heap	scores

double	scinc

heap	schedule

double	scoreshift

unsigned	level

frames	frames

unsigned_array	trail

unsigned *	propagate

unsigned	best_assigned

unsigned	target_assigned

unsigned	unflushed

unsigned	unassigned

unsigneds	delayed

unsigned	resolvent_size

unsigned	antecedent_size

dataranks	ranks

unsigneds	analyzed

unsigneds	levels

unsigneds	minimize

unsigneds	poisoned

unsigneds	promote

unsigneds	removable

unsigneds	shrinkable

clause	conflict

bool	clause_satisfied

bool	clause_shrink

bool	clause_trivial

unsigneds	clause

unsigneds	shadow

arena	arena

vectors	vectors

reference	first_reducible

reference	last_irredundant

watches *	watches

reference	last_learned [4]

sizes	sorter

generator	random

averages	averages [2]

unsigned	tier1 [2]

unsigned	tier2 [2]

reluctant	reluctant

bounds	bounds

classification	classification

delays	delays

enabled	enabled

limited	limited

limits	limits

remember	last

unsigned	walked

mode	mode

uint64_t	ticks

kormat	format

char *	prefix

statches	antecedents [2]

statches	gates [2]

patches	xorted [2]

unsigneds	resolvents

bool	resolve_gate

struct kitten *	kitten

bool	gate_eliminated

bool	sweep_incomplete

unsigneds	sweep_schedule

statistics	statistics_

Detailed Description

Definition at line 79 of file internal.h.

Member Data Documentation

◆ active

unsigned kissat::active

Definition at line 108 of file internal.h.

◆ analyzed

unsigneds kissat::analyzed

Definition at line 158 of file internal.h.

◆ antecedent_size

unsigned kissat::antecedent_size

Definition at line 154 of file internal.h.

◆ antecedents

statches kissat::antecedents[2]

Definition at line 206 of file internal.h.

◆ arena

arena kissat::arena

Definition at line 175 of file internal.h.

◆ assigned

assigned* kissat::assigned

Definition at line 117 of file internal.h.

◆ averages

averages kissat::averages[2]

Definition at line 186 of file internal.h.

◆ best_assigned

unsigned kissat::best_assigned

Definition at line 143 of file internal.h.

◆ bounds

bounds kissat::bounds

Definition at line 190 of file internal.h.

◆ classification

classification kissat::classification

Definition at line 191 of file internal.h.

◆ clause

unsigneds kissat::clause

Definition at line 172 of file internal.h.

◆ clause_satisfied

bool kissat::clause_satisfied

Definition at line 168 of file internal.h.

◆ clause_shrink

bool kissat::clause_shrink

Definition at line 169 of file internal.h.

◆ clause_trivial

bool kissat::clause_trivial

Definition at line 170 of file internal.h.

◆ conflict

clause kissat::conflict

Definition at line 166 of file internal.h.

◆ delayed

unsigneds kissat::delayed

Definition at line 148 of file internal.h.

◆ delays

delays kissat::delays

Definition at line 192 of file internal.h.

◆ eliminated

eliminated kissat::eliminated

Definition at line 125 of file internal.h.

◆ enabled

enabled kissat::enabled

Definition at line 193 of file internal.h.

◆ etrail

unsigneds kissat::etrail

Definition at line 126 of file internal.h.

◆ export_

ints kissat::export_

Definition at line 111 of file internal.h.

◆ extend

extensions kissat::extend

Definition at line 114 of file internal.h.

◆ extended

bool kissat::extended

Definition at line 86 of file internal.h.

◆ first_reducible

reference kissat::first_reducible

Definition at line 177 of file internal.h.

◆ flags

flags* kissat::flags

Definition at line 118 of file internal.h.

◆ format

kormat kissat::format

Definition at line 203 of file internal.h.

◆ frames

frames kissat::frames

Definition at line 138 of file internal.h.

◆ gate_eliminated

bool kissat::gate_eliminated

Definition at line 216 of file internal.h.

◆ gates

statches kissat::gates[2]

Definition at line 207 of file internal.h.

◆ import

imports kissat::import

Definition at line 113 of file internal.h.

◆ inconsistent

bool kissat::inconsistent

Definition at line 87 of file internal.h.

◆ iterating

bool kissat::iterating

Definition at line 88 of file internal.h.

◆ kitten

struct kitten* kissat::kitten

Definition at line 212 of file internal.h.

◆ large_clauses_watched_after_binary_clauses

bool kissat::large_clauses_watched_after_binary_clauses

Definition at line 102 of file internal.h.

◆ last

remember kissat::last

Definition at line 196 of file internal.h.

◆ last_irredundant

reference kissat::last_irredundant

Definition at line 178 of file internal.h.

◆ last_learned

reference kissat::last_learned[4]

Definition at line 181 of file internal.h.

◆ level

unsigned kissat::level

Definition at line 137 of file internal.h.

◆ levels

unsigneds kissat::levels

Definition at line 159 of file internal.h.

◆ limited

limited kissat::limited

Definition at line 194 of file internal.h.

◆ limits

limits kissat::limits

Definition at line 195 of file internal.h.

◆ links

links* kissat::links

Definition at line 128 of file internal.h.

◆ marks

mark* kissat::marks

Definition at line 120 of file internal.h.

◆ minimize

unsigneds kissat::minimize

Definition at line 160 of file internal.h.

◆ mode

mode kissat::mode

Definition at line 199 of file internal.h.

◆ phases

phases kissat::phases

Definition at line 123 of file internal.h.

◆ poisoned

unsigneds kissat::poisoned

Definition at line 161 of file internal.h.

◆ prefix

char* kissat::prefix

Definition at line 204 of file internal.h.

◆ preprocessing

bool kissat::preprocessing

Definition at line 89 of file internal.h.

◆ probing

bool kissat::probing

Definition at line 90 of file internal.h.

◆ promote

unsigneds kissat::promote

Definition at line 162 of file internal.h.

◆ propagate

unsigned* kissat::propagate

Definition at line 141 of file internal.h.

◆ queue

queue kissat::queue

Definition at line 129 of file internal.h.

◆ randec

unsigned kissat::randec

Definition at line 109 of file internal.h.

◆ random

generator kissat::random

Definition at line 185 of file internal.h.

◆ ranks

dataranks kissat::ranks

Definition at line 156 of file internal.h.

◆ reluctant

reluctant kissat::reluctant

Definition at line 188 of file internal.h.

◆ removable

unsigneds kissat::removable

Definition at line 163 of file internal.h.

◆ resolve_gate

bool kissat::resolve_gate

Definition at line 210 of file internal.h.

◆ resolvent_size

unsigned kissat::resolvent_size

Definition at line 153 of file internal.h.

◆ resolvents

unsigneds kissat::resolvents

Definition at line 209 of file internal.h.

◆ schedule

heap kissat::schedule

Definition at line 134 of file internal.h.

◆ scinc

double kissat::scinc

Definition at line 132 of file internal.h.

◆ scores

heap kissat::scores

Definition at line 131 of file internal.h.

◆ scoreshift

double kissat::scoreshift

Definition at line 135 of file internal.h.

◆ shadow

unsigneds kissat::shadow

Definition at line 173 of file internal.h.

◆ shrinkable

unsigneds kissat::shrinkable

Definition at line 164 of file internal.h.

◆ size

unsigned kissat::size

Definition at line 107 of file internal.h.

◆ sorter

sizes kissat::sorter

Definition at line 183 of file internal.h.

◆ stable

bool kissat::stable

Definition at line 94 of file internal.h.

◆ statistics_

statistics kissat::statistics_

Definition at line 247 of file internal.h.

◆ sweep_incomplete

bool kissat::sweep_incomplete

Definition at line 218 of file internal.h.

◆ sweep_schedule

unsigneds kissat::sweep_schedule

Definition at line 219 of file internal.h.

◆ target_assigned

unsigned kissat::target_assigned

Definition at line 144 of file internal.h.

◆ termination

termination kissat::termination

Definition at line 104 of file internal.h.

◆ ticks

uint64_t kissat::ticks

Definition at line 201 of file internal.h.

◆ tier1

unsigned kissat::tier1[2]

Definition at line 187 of file internal.h.

◆ tier2

unsigned kissat::tier2[2]

Definition at line 187 of file internal.h.

◆ trail

unsigned_array kissat::trail

Definition at line 140 of file internal.h.

◆ unassigned

unsigned kissat::unassigned

Definition at line 146 of file internal.h.

◆ unflushed

unsigned kissat::unflushed

Definition at line 145 of file internal.h.

◆ units

ints kissat::units

Definition at line 112 of file internal.h.

◆ values

value* kissat::values

Definition at line 122 of file internal.h.

◆ vars

unsigned kissat::vars

Definition at line 106 of file internal.h.

◆ vectors

vectors kissat::vectors

Definition at line 176 of file internal.h.

◆ walked

unsigned kissat::walked

Definition at line 197 of file internal.h.

◆ warming

bool kissat::warming

Definition at line 99 of file internal.h.

◆ watches

watches* kissat::watches

Definition at line 179 of file internal.h.

◆ watching

bool kissat::watching

Definition at line 100 of file internal.h.

◆ witness

unsigneds kissat::witness

Definition at line 115 of file internal.h.

◆ xorted

patches kissat::xorted[2]

Definition at line 208 of file internal.h.

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

src/sat/kissat/internal.h

Public Attributes