|
PrecoSAT 570
|
|
PrecoSAT 570
|
#include <precosat.hh>
Public Member Functions | |
| double | seconds () |
| double | height () |
| void | sw2srch () |
| void | sw2simp () |
| Stats () | |
Static Public Member Functions | |
| static double | now () |
Public Attributes | |
| struct { | |
| int fixed | |
| int equiv | |
| int elim | |
| int subst | |
| int zombies | |
| int pure | |
| int autark | |
| int merged | |
| } | vars |
| struct { | |
| int orig | |
| int bin | |
| int lnd | |
| int irr | |
| int lckd | |
| int gc | |
| int gcpure | |
| int gcautark | |
| } | clauses |
| struct { | |
| int count | |
| int size | |
| int dh [6] | |
| } | autarks |
| struct { | |
| long long added | |
| int bssrs | |
| int ssrs | |
| } | lits |
| struct { | |
| long long deleted | |
| long long strong | |
| long long inverse | |
| int depth | |
| } | mins |
| int | conflicts |
| int | decisions |
| int | random |
| int | enlarged |
| int | shrunken |
| int | rescored |
| int | iter |
| struct { | |
| int track | |
| int jump | |
| long long dist | |
| long long cuts | |
| } | back |
| struct { | |
| int count | |
| int skipped | |
| int maxdelta | |
| } | restart |
| struct { | |
| int count | |
| int level1 | |
| int probing | |
| } | doms |
| struct { | |
| GateStats nots | |
| GateStats ites | |
| GateStats ands | |
| GateStats xors | |
| } | subst |
| struct { | |
| int fw | |
| int bw | |
| int dyn | |
| int org | |
| int doms | |
| int red | |
| } | subs |
| struct { | |
| long long res | |
| int all | |
| int impl | |
| int expl | |
| int phases | |
| int rounds | |
| } | blkd |
| struct { | |
| int fw | |
| int bw | |
| int dyn | |
| int org | |
| int asym | |
| } | str |
| struct { | |
| struct { | |
| int bin | |
| int trn | |
| int large | |
| } dyn | |
| struct { | |
| int bin | |
| int trn | |
| int large | |
| } stat | |
| } | otfs |
| struct { | |
| struct { | |
| long long sum | |
| long long count | |
| } slimmed | |
| struct { | |
| long long sum | |
| long long count | |
| } orig | |
| } | glue |
| struct { | |
| int count | |
| int maxdelta | |
| } | rebias |
| struct { | |
| int variables | |
| int phases | |
| int rounds | |
| int failed | |
| int lifted | |
| int merged | |
| } | probe |
| struct { | |
| int nontriv | |
| int fixed | |
| int merged | |
| } | sccs |
| struct { | |
| int forced | |
| int assumed | |
| int flipped | |
| } | extend |
| struct { | |
| long long resolutions | |
| int phases | |
| int rounds | |
| } | elim |
| struct { | |
| struct { | |
| struct { | |
| long long srch | |
| long long hits | |
| } l1 | |
| struct { | |
| long long srch | |
| long long hits | |
| } l2 | |
| } fw | |
| struct { | |
| struct { | |
| long long srch | |
| long long hits | |
| } l1 | |
| struct { | |
| long long srch | |
| long long hits | |
| } l2 | |
| } bw | |
| } | sigs |
| struct { | |
| int expl | |
| int elim | |
| int blkd | |
| int autark | |
| } | pure |
| struct { | |
| int expl | |
| int elim | |
| int blkd | |
| int autark | |
| } | zombies |
| struct { | |
| long long srch | |
| long long simp | |
| } | props |
| long long | visits |
| long long | ternaryvisits |
| long long | blocked |
| long long | sumheight |
| long long | collected |
| int | simps |
| int | reductions |
| int | gcs |
| int | reports |
| int | maxdepth |
| int | printed |
| double | entered |
| double | time |
| double | simptime |
| double | srchtime |
| double | entered2 |
Definition at line 387 of file precosat.hh.
| Stats::Stats | ( | ) |
Definition at line 5024 of file precosat.cc.
| double Stats::height | ( | ) | [inline] |
Definition at line 2934 of file precosat.cc.
| double Stats::now | ( | ) | [static] |
Definition at line 4995 of file precosat.cc.
| double Stats::seconds | ( | ) |
Definition at line 5004 of file precosat.cc.
| void Stats::sw2simp | ( | ) |
Definition at line 5018 of file precosat.cc.
| void Stats::sw2srch | ( | ) |
Definition at line 5012 of file precosat.cc.
| long long PrecoSat::Stats::added |
Definition at line 391 of file precosat.hh.
Definition at line 399 of file precosat.hh.
Definition at line 397 of file precosat.hh.
Definition at line 406 of file precosat.hh.
Definition at line 400 of file precosat.hh.
Definition at line 388 of file precosat.hh.
| struct { ... } PrecoSat::Stats::autarks |
| struct { ... } PrecoSat::Stats::back |
Definition at line 389 of file precosat.hh.
| struct { ... } PrecoSat::Stats::blkd |
Definition at line 409 of file precosat.hh.
| long long PrecoSat::Stats::blocked |
Definition at line 412 of file precosat.hh.
Definition at line 391 of file precosat.hh.
| struct { ... } PrecoSat::Stats::bw |
Definition at line 398 of file precosat.hh.
| struct { ... } PrecoSat::Stats::clauses |
| long long PrecoSat::Stats::collected |
Definition at line 412 of file precosat.hh.
Definition at line 393 of file precosat.hh.
Definition at line 390 of file precosat.hh.
| long long PrecoSat::Stats::count |
Definition at line 402 of file precosat.hh.
| long long PrecoSat::Stats::cuts |
Definition at line 394 of file precosat.hh.
Definition at line 393 of file precosat.hh.
| long long PrecoSat::Stats::deleted |
Definition at line 392 of file precosat.hh.
Definition at line 392 of file precosat.hh.
| int PrecoSat::Stats::dh[6] |
Definition at line 390 of file precosat.hh.
| long long PrecoSat::Stats::dist |
Definition at line 394 of file precosat.hh.
| struct { ... } PrecoSat::Stats::doms |
Definition at line 398 of file precosat.hh.
| struct { ... } PrecoSat::Stats::dyn |
Definition at line 398 of file precosat.hh.
| struct { ... } PrecoSat::Stats::elim |
Definition at line 388 of file precosat.hh.
Definition at line 393 of file precosat.hh.
| double PrecoSat::Stats::entered |
Definition at line 414 of file precosat.hh.
| double PrecoSat::Stats::entered2 |
Definition at line 414 of file precosat.hh.
Definition at line 388 of file precosat.hh.
Definition at line 399 of file precosat.hh.
| struct { ... } PrecoSat::Stats::extend |
Definition at line 404 of file precosat.hh.
Definition at line 388 of file precosat.hh.
Definition at line 406 of file precosat.hh.
Definition at line 406 of file precosat.hh.
| struct { ... } PrecoSat::Stats::fw |
Definition at line 398 of file precosat.hh.
Definition at line 389 of file precosat.hh.
Definition at line 389 of file precosat.hh.
Definition at line 389 of file precosat.hh.
Definition at line 413 of file precosat.hh.
| struct { ... } PrecoSat::Stats::glue |
| long long PrecoSat::Stats::hits |
Definition at line 408 of file precosat.hh.
Definition at line 399 of file precosat.hh.
| long long PrecoSat::Stats::inverse |
Definition at line 392 of file precosat.hh.
Definition at line 389 of file precosat.hh.
Definition at line 393 of file precosat.hh.
Definition at line 397 of file precosat.hh.
Definition at line 394 of file precosat.hh.
| struct { ... } ::@27 PrecoSat::Stats::l1 |
| struct { ... } ::@27 PrecoSat::Stats::l2 |
Definition at line 401 of file precosat.hh.
Definition at line 389 of file precosat.hh.
Definition at line 396 of file precosat.hh.
Definition at line 404 of file precosat.hh.
| struct { ... } PrecoSat::Stats::lits |
Definition at line 389 of file precosat.hh.
Definition at line 395 of file precosat.hh.
Definition at line 413 of file precosat.hh.
Definition at line 388 of file precosat.hh.
| struct { ... } PrecoSat::Stats::mins |
Definition at line 405 of file precosat.hh.
Definition at line 397 of file precosat.hh.
Definition at line 398 of file precosat.hh.
| struct { ... } PrecoSat::Stats::orig |
Definition at line 389 of file precosat.hh.
| struct { ... } PrecoSat::Stats::otfs |
Definition at line 399 of file precosat.hh.
Definition at line 413 of file precosat.hh.
| struct { ... } PrecoSat::Stats::probe |
Definition at line 396 of file precosat.hh.
| struct { ... } PrecoSat::Stats::props |
| struct { ... } PrecoSat::Stats::pure |
Definition at line 388 of file precosat.hh.
Definition at line 393 of file precosat.hh.
| struct { ... } PrecoSat::Stats::rebias |
Definition at line 398 of file precosat.hh.
Definition at line 413 of file precosat.hh.
Definition at line 413 of file precosat.hh.
| long long PrecoSat::Stats::res |
Definition at line 399 of file precosat.hh.
Definition at line 393 of file precosat.hh.
| long long PrecoSat::Stats::resolutions |
Definition at line 407 of file precosat.hh.
| struct { ... } PrecoSat::Stats::restart |
Definition at line 399 of file precosat.hh.
| struct { ... } PrecoSat::Stats::sccs |
Definition at line 393 of file precosat.hh.
| struct { ... } PrecoSat::Stats::sigs |
| long long PrecoSat::Stats::simp |
Definition at line 411 of file precosat.hh.
Definition at line 413 of file precosat.hh.
| double PrecoSat::Stats::simptime |
Definition at line 414 of file precosat.hh.
Definition at line 390 of file precosat.hh.
Definition at line 395 of file precosat.hh.
| struct { ... } PrecoSat::Stats::slimmed |
| long long PrecoSat::Stats::srch |
Definition at line 408 of file precosat.hh.
| double PrecoSat::Stats::srchtime |
Definition at line 414 of file precosat.hh.
Definition at line 391 of file precosat.hh.
| struct { ... } PrecoSat::Stats::stat |
| struct { ... } PrecoSat::Stats::str |
| long long PrecoSat::Stats::strong |
Definition at line 392 of file precosat.hh.
| struct { ... } PrecoSat::Stats::subs |
| struct { ... } PrecoSat::Stats::subst |
Definition at line 388 of file precosat.hh.
| long long PrecoSat::Stats::sum |
Definition at line 402 of file precosat.hh.
| long long PrecoSat::Stats::sumheight |
Definition at line 412 of file precosat.hh.
| long long PrecoSat::Stats::ternaryvisits |
Definition at line 412 of file precosat.hh.
| double PrecoSat::Stats::time |
Definition at line 414 of file precosat.hh.
Definition at line 394 of file precosat.hh.
Definition at line 401 of file precosat.hh.
Definition at line 404 of file precosat.hh.
| struct { ... } PrecoSat::Stats::vars |
| long long PrecoSat::Stats::visits |
Definition at line 412 of file precosat.hh.
Definition at line 397 of file precosat.hh.
Definition at line 388 of file precosat.hh.
| struct { ... } PrecoSat::Stats::zombies |
1.7.3
