Types & classes — github.com/arminbiere/cadical

CodeHub MCPcopy Create free account

hub / github.com/arminbiere/cadical / types & classes

Types & classes343 in github.com/arminbiere/cadical

⨍ Functions 2,576◇ Types & classes 343

↓ 58 callersClassRewrite

src/congruence.hpp:306

↓ 16 callersClassLitClausePair

src/congruence.hpp:131

↓ 8 callersClassSegment

src/mobical.cpp:2342

↓ 7 callersClassAigEdge

contrib/craigtracer.cpp:23

↓ 7 callersClasssort_literals_by_var_smaller

src/congruence.cpp:420

↓ 6 callersClassLitIdPair

src/congruence.hpp:137

↓ 5 callersClassclause_smaller_size

src/clause.hpp:167

↓ 5 callersClassstat

src/file.cpp:58

↓ 4 callersClassLevel

src/level.hpp:12

↓ 4 callersClassclause_lit_less_than

src/clause.hpp:180

↓ 4 callersClasscompact_binary_rank

------------------------------------------------------------------------*/

src/congruence.cpp:160

↓ 4 callersClassiterator

src/range.hpp:52

↓ 3 callersClassCheckerWatch

src/checker.hpp:37

↓ 3 callersClassCompactBinary

src/congruence.hpp:291

↓ 3 callersClassanalyze_bumped_rank

src/analyze.cpp:156

↓ 3 callersClassanalyze_trail_negative_rank

src/analyze.cpp:477

↓ 3 callersClasscompact_binary_order

src/congruence.cpp:170

↓ 3 callersClasscongruence_occurrences_rank

src/congruence.cpp:3243

↓ 3 callersClasslitequivalence_rank

src/congruence.cpp:7365

↓ 3 callersClasslitpair_rank

src/congruence.cpp:7343

↓ 3 callersClassshrink_trail_negative_rank

src/shrink.cpp:342

↓ 3 callersClasssort_assumptions_positive_rank

src/assume.cpp:511

↓ 3 callersClasssort_literals_by_var_rank

src/congruence.cpp:378

↓ 3 callersClasssort_literals_by_var_rank_except

src/congruence.cpp:386

↓ 3 callersClasssort_literals_by_var_smaller_except

src/congruence.cpp:407

↓ 3 callersClassvivify_inversesize_rank

src/vivify.cpp:1484

↓ 3 callersClassvivify_refcount_rank

src/vivify.cpp:1463

↓ 2 callersClassAigNode

contrib/craigtracer.cpp:57

↓ 2 callersClassTagged

Random walk local search based on 'ProbSAT' ideas.

src/walk_full_occs.cpp:9

↓ 2 callersClassWatch

src/watch.hpp:31

↓ 2 callersClassminimize_trail_level_positive_rank

src/minimize.cpp:87

↓ 2 callersClassprobe_negated_noccs_rank

src/lookahead.cpp:84

↓ 2 callersClassprobe_negated_noccs_rank

src/probe.cpp:624

↓ 2 callersClassreverse_iterator

src/range.hpp:65

↓ 2 callersClassscore_smaller

src/score.hpp:6

↓ 2 callersClasssmaller_clause_size_rank

src/congruence.hpp:158

↓ 2 callersClassvivify_better_watch

src/vivify.cpp:449

↓ 2 callersClassvivify_more_noccs

src/vivify.cpp:312

↓ 1 callersClassCandidate

src/instantiate.hpp:24

↓ 1 callersClassClauseSize

src/congruence.hpp:150

↓ 1 callersClassCounter

src/walk_full_occs.cpp:25

↓ 1 callersClassFactoring

src/factor.hpp:31

↓ 1 callersClassHash

src/congruence.hpp:300

↓ 1 callersClassRange

src/range.hpp:49

↓ 1 callersClassSweeper

src/sweep.hpp:29

↓ 1 callersClassTesting

src/cadical.hpp:217

↓ 1 callersClassanalyze_bumped_smaller

src/analyze.cpp:163

↓ 1 callersClassanalyze_trail_larger

src/analyze.cpp:490

↓ 1 callersClassblock_more_occs_size

src/block.hpp:10

↓ 1 callersClassclause_covered_or_smaller

src/cover.cpp:469

↓ 1 callersClasscongruence_occurrences_larger

src/congruence.cpp:3255

↓ 1 callersClassdeduplicate_flush_smaller

See the comment for vivifyflush.

src/deduplicate.cpp:176

↓ 1 callersClasselim_more

src/elim.hpp:10

↓ 1 callersClassfile

test/cnf/lrat-trim.c:94

↓ 1 callersClassless_conditioned

src/condition.cpp:145

↓ 1 callersClasslit_smaller

src/checker.cpp:258

↓ 1 callersClasslitequivalence_smaller

src/congruence.cpp:7376

↓ 1 callersClasslitpair_smaller

src/congruence.cpp:7354

↓ 1 callersClassminimize_trail_positive_rank

src/minimize.cpp:69

↓ 1 callersClassminimize_trail_smaller

src/minimize.cpp:79

↓ 1 callersClasspointer_rank

src/radix.hpp:36

↓ 1 callersClassrank_sweep_candidate

src/sweep.cpp:1717

↓ 1 callersClassreduce_less_useful

src/reduce.cpp:74

↓ 1 callersClassshrink_trail_larger

src/shrink.cpp:355

↓ 1 callersClasssmaller_pair_first_rank

src/congruence.cpp:4015

↓ 1 callersClasssort_assumptions_smaller

src/assume.cpp:538

↓ 1 callersClasssubsume_less_noccs

src/subsume.cpp:307

↓ 1 callersClassvivify_flush_smaller

src/vivify.cpp:358

↓ 1 callersClassvivify_inversesize_smaller

src/vivify.cpp:1490

↓ 1 callersClassvivify_more_noccs_kissat

src/vivify.cpp:331

↓ 1 callersClassvivify_refcount_smaller

src/vivify.cpp:1472

ClassActiveCall

src/mobical.cpp:1500

ClassActivePropagator

----------------------------------------------------------------------------*/ ActivePropagator: This class implements a more complex ExternalPropag

test/api/example_propagators.cpp:467

src/mobical.cpp:1635

contrib/craigtracer.cpp:77

contrib/craigtracer.hpp:21

src/cadical.cpp:24

src/arena.hpp:56

ClassAssignmentStatus

test/api/example_propagators.cpp:391

ClassAssumeCall

src/mobical.cpp:1740

src/averages.hpp:8

src/bins.hpp:10

src/block.hpp:18

test/api/ctest.c:10

src/ccadical.h:15

src/mobical.cpp:1279

src/checker.hpp:50

ClassCheckerClause

src/checker.hpp:30

src/block.hpp:22

src/clause.hpp:31

src/occs.hpp:11

src/instantiate.hpp:17

src/watch.hpp:29

src/range.hpp:8

src/vivify.hpp:12

src/proof.hpp:12

src/logging.hpp:20

src/external.hpp:46

ClassClauseChecker

test/api/traverse.cpp:77

next →1–100 of 343, ranked by callers