CaDiCaL::Stats Member List

This is the complete list of members for CaDiCaL::Stats, including all inherited members.

active	CaDiCaL::Stats
added	CaDiCaL::Stats
all	CaDiCaL::Stats
ands	CaDiCaL::Stats
assumptionsreused	CaDiCaL::Stats
asymmetric	CaDiCaL::Stats
backtracks	CaDiCaL::Stats
backward	CaDiCaL::Stats
best	CaDiCaL::Stats
binaries	CaDiCaL::Stats
block	CaDiCaL::Stats
blockcands	CaDiCaL::Stats
blocked	CaDiCaL::Stats
blockings	CaDiCaL::Stats
blockpured	CaDiCaL::Stats
blockpurelits	CaDiCaL::Stats
blockres	CaDiCaL::Stats
broken	CaDiCaL::Stats
bump_used	CaDiCaL::Stats
bumped	CaDiCaL::Stats
bytes	CaDiCaL::Stats
chrono	CaDiCaL::Stats
clauses	CaDiCaL::Stats
clauses_unfactored	CaDiCaL::Stats
collected	CaDiCaL::Stats
collections	CaDiCaL::Stats
compacts	CaDiCaL::Stats
condassinit	CaDiCaL::Stats
condassirem	CaDiCaL::Stats
condassrem	CaDiCaL::Stats
condassvars	CaDiCaL::Stats
condautinit	CaDiCaL::Stats
condautrem	CaDiCaL::Stats
condcands	CaDiCaL::Stats
condcondinit	CaDiCaL::Stats
condcondrem	CaDiCaL::Stats
conditioned	CaDiCaL::Stats
conditionings	CaDiCaL::Stats
condprops	CaDiCaL::Stats
conflicts	CaDiCaL::Stats
congruence	CaDiCaL::Stats
congruent	CaDiCaL::Stats
constant	CaDiCaL::Stats
count	CaDiCaL::Stats
cover	CaDiCaL::Stats
cover	CaDiCaL::Stats
current	CaDiCaL::Stats
decisions	CaDiCaL::Stats
decompositions	CaDiCaL::Stats
deduplicated	CaDiCaL::Stats
deduplications	CaDiCaL::Stats
definition_ticks	CaDiCaL::Stats
definition_units	CaDiCaL::Stats
definitions_checked	CaDiCaL::Stats
definitions_extracted	CaDiCaL::Stats
eagersub	CaDiCaL::Stats
eagertried	CaDiCaL::Stats
echeck_call	CaDiCaL::Stats
elearn_call	CaDiCaL::Stats
elearn_conf	CaDiCaL::Stats
elearn_prop	CaDiCaL::Stats
elearned	CaDiCaL::Stats
elim	CaDiCaL::Stats
elimands	CaDiCaL::Stats
elimbwstr	CaDiCaL::Stats
elimbwsub	CaDiCaL::Stats
elimcompleted	CaDiCaL::Stats
elimequivs	CaDiCaL::Stats
elimfastphases	CaDiCaL::Stats
elimfastrounds	CaDiCaL::Stats
elimgates	CaDiCaL::Stats
eliminated	CaDiCaL::Stats
eliminated_and	CaDiCaL::Stats
eliminated_def	CaDiCaL::Stats
eliminated_equi	CaDiCaL::Stats
eliminated_ite	CaDiCaL::Stats
eliminated_xor	CaDiCaL::Stats
elimites	CaDiCaL::Stats
elimotfstr	CaDiCaL::Stats
elimotfsub	CaDiCaL::Stats
elimphases	CaDiCaL::Stats
elimres	CaDiCaL::Stats
elimrestried	CaDiCaL::Stats
elimrounds	CaDiCaL::Stats
elimsubst	CaDiCaL::Stats
elimtried	CaDiCaL::Stats
elimxors	CaDiCaL::Stats
eprop_call	CaDiCaL::Stats
eprop_conf	CaDiCaL::Stats
eprop_expl	CaDiCaL::Stats
eprop_prop	CaDiCaL::Stats
ext_cb	CaDiCaL::Stats
ext_prop	CaDiCaL::Stats
extended	CaDiCaL::Stats
extensions	CaDiCaL::Stats
factor	CaDiCaL::Stats
factor_added	CaDiCaL::Stats
factored	CaDiCaL::Stats
failed	CaDiCaL::Stats
fasteliminated	CaDiCaL::Stats
fixed	CaDiCaL::Stats
flipped	CaDiCaL::Stats
flips	CaDiCaL::Stats
flush	CaDiCaL::Stats
forward	CaDiCaL::Stats
garbage	CaDiCaL::Stats
gates	CaDiCaL::Stats
hbreds	CaDiCaL::Stats
hbrs	CaDiCaL::Stats
hbrsizes	CaDiCaL::Stats
hbrsubs	CaDiCaL::Stats
horn	CaDiCaL::Stats
htrs	CaDiCaL::Stats
htrs2	CaDiCaL::Stats
htrs3	CaDiCaL::Stats
hyper	CaDiCaL::Stats
hyperunary	CaDiCaL::Stats
ilbsuccess	CaDiCaL::Stats
ilbtriggers	CaDiCaL::Stats
improvedglue	CaDiCaL::Stats
inactive	CaDiCaL::Stats
inprobesuccess	CaDiCaL::Stats
inprobingphases	CaDiCaL::Stats
instantiate	CaDiCaL::Stats
instantiated	CaDiCaL::Stats
instried	CaDiCaL::Stats
instrounds	CaDiCaL::Stats
internal	CaDiCaL::Stats
inverted	CaDiCaL::Stats
irredundant	CaDiCaL::Stats
irrlits	CaDiCaL::Stats
ites	CaDiCaL::Stats
learned	CaDiCaL::Stats
learned	CaDiCaL::Stats
levelsreused	CaDiCaL::Stats
literals	CaDiCaL::Stats
literals_factored	CaDiCaL::Stats
literals_unfactored	CaDiCaL::Stats
literalsreused	CaDiCaL::Stats
lucky	CaDiCaL::Stats
mark	CaDiCaL::Stats
minimized	CaDiCaL::Stats
minimum	CaDiCaL::Stats
minishrunken	CaDiCaL::Stats
negative	CaDiCaL::Stats
now	CaDiCaL::Stats
one	CaDiCaL::Stats
original	CaDiCaL::Stats
otfs	CaDiCaL::Stats
positive	CaDiCaL::Stats
preprocessings	CaDiCaL::Stats
print(Internal *)	CaDiCaL::Stats
probe	CaDiCaL::Stats
probed	CaDiCaL::Stats
probefailed	CaDiCaL::Stats
probingrounds	CaDiCaL::Stats
process	CaDiCaL::Stats
promoted1	CaDiCaL::Stats
promoted2	CaDiCaL::Stats
propagations	CaDiCaL::Stats
pure	CaDiCaL::Stats
random	CaDiCaL::Stats
reactivated	CaDiCaL::Stats
real	CaDiCaL::Stats
recomputed	CaDiCaL::Stats
reduced	CaDiCaL::Stats
reduced_prct	CaDiCaL::Stats
reduced_sqrt	CaDiCaL::Stats
reductions	CaDiCaL::Stats
redundant	CaDiCaL::Stats
rephased	CaDiCaL::Stats
rescored	CaDiCaL::Stats
restartlevels	CaDiCaL::Stats
restarts	CaDiCaL::Stats
restartstable	CaDiCaL::Stats
restorations	CaDiCaL::Stats
restored	CaDiCaL::Stats
restoredlits	CaDiCaL::Stats
reused	CaDiCaL::Stats
reusedlevels	CaDiCaL::Stats
reusedstable	CaDiCaL::Stats
rewritten_ands	CaDiCaL::Stats
rounds	CaDiCaL::Stats
search	CaDiCaL::Stats
searched	CaDiCaL::Stats
sections	CaDiCaL::Stats
shrunken	CaDiCaL::Stats
shuffled	CaDiCaL::Stats
simplified	CaDiCaL::Stats
simplified_ands	CaDiCaL::Stats
simplified_ites	CaDiCaL::Stats
simplified_xors	CaDiCaL::Stats
stabconflicts	CaDiCaL::Stats
stabphases	CaDiCaL::Stats
Stats()	CaDiCaL::Stats
strengthened	CaDiCaL::Stats
subchecks	CaDiCaL::Stats
subchecks2	CaDiCaL::Stats
subirr	CaDiCaL::Stats
subred	CaDiCaL::Stats
substituted	CaDiCaL::Stats
subsume	CaDiCaL::Stats
subsumed	CaDiCaL::Stats
subsumephases	CaDiCaL::Stats
subsumerounds	CaDiCaL::Stats
subtried	CaDiCaL::Stats
succeeded	CaDiCaL::Stats
sweep	CaDiCaL::Stats
sweep_clauses	CaDiCaL::Stats
sweep_completed	CaDiCaL::Stats
sweep_depth	CaDiCaL::Stats
sweep_environment	CaDiCaL::Stats
sweep_equivalences	CaDiCaL::Stats
sweep_fixed_backbone	CaDiCaL::Stats
sweep_flip_backbone	CaDiCaL::Stats
sweep_flip_equivalences	CaDiCaL::Stats
sweep_flipped_backbone	CaDiCaL::Stats
sweep_flipped_equivalences	CaDiCaL::Stats
sweep_sat	CaDiCaL::Stats
sweep_sat_backbone	CaDiCaL::Stats
sweep_sat_equivalences	CaDiCaL::Stats
sweep_solved	CaDiCaL::Stats
sweep_solved_backbone	CaDiCaL::Stats
sweep_solved_equivalences	CaDiCaL::Stats
sweep_units	CaDiCaL::Stats
sweep_unknown_backbone	CaDiCaL::Stats
sweep_unknown_equivalences	CaDiCaL::Stats
sweep_unsat	CaDiCaL::Stats
sweep_unsat_backbone	CaDiCaL::Stats
sweep_unsat_equivalences	CaDiCaL::Stats
sweep_variables	CaDiCaL::Stats
ternary	CaDiCaL::Stats
ternres	CaDiCaL::Stats
ticks	CaDiCaL::Stats
tierecomputed	CaDiCaL::Stats
time	CaDiCaL::Stats
total	CaDiCaL::Stats
transitive	CaDiCaL::Stats
transred	CaDiCaL::Stats
transreds	CaDiCaL::Stats
transredunits	CaDiCaL::Stats
tried	CaDiCaL::Stats
trivial_ite	CaDiCaL::Stats
unaries	CaDiCaL::Stats
unary_and	CaDiCaL::Stats
unary_ites	CaDiCaL::Stats
units	CaDiCaL::Stats
unused	CaDiCaL::Stats
used	CaDiCaL::Stats
variables_extension	CaDiCaL::Stats
variables_original	CaDiCaL::Stats
vars	CaDiCaL::Stats
vivifications	CaDiCaL::Stats
vivify	CaDiCaL::Stats
vivifychecks	CaDiCaL::Stats
vivifydecs	CaDiCaL::Stats
vivifydemote	CaDiCaL::Stats
vivifyimplied	CaDiCaL::Stats
vivifyinst	CaDiCaL::Stats
vivifyreused	CaDiCaL::Stats
vivifysched	CaDiCaL::Stats
vivifystred1	CaDiCaL::Stats
vivifystred2	CaDiCaL::Stats
vivifystred3	CaDiCaL::Stats
vivifystrirr	CaDiCaL::Stats
vivifystrs	CaDiCaL::Stats
vivifysubirr	CaDiCaL::Stats
vivifysubred	CaDiCaL::Stats
vivifysubs	CaDiCaL::Stats
vivifyunits	CaDiCaL::Stats
walk	CaDiCaL::Stats
walk	CaDiCaL::Stats
weakened	CaDiCaL::Stats
weakenedlen	CaDiCaL::Stats
xors	CaDiCaL::Stats
zero	CaDiCaL::Stats