Functions — github.com/arminbiere/cadical

CodeHub MCPcopy Create free account

hub / github.com/arminbiere/cadical / functions

Functions2,576 in github.com/arminbiere/cadical

⨍ Functions 2,576◇ Types & classes 343

↓ 864 callersMethodpush_back

Add a new (not contained) element 'e' to the heap.

src/heap.hpp:143

↓ 813 callersMethodsize

src/file.cpp:147

↓ 564 callersMethodempty

Check if no more elements are in the heap.

src/heap.hpp:131

↓ 392 callersMethodclear

src/reap.cpp:119

↓ 302 callersFunctionpercent

src/util.hpp:17

↓ 287 callersMethodput

src/file.hpp:107

↓ 234 callersMethodbegin

src/config.cpp:98

↓ 205 callersMethodend

src/config.cpp:99

↓ 172 callersFunctionflags

src/version.cpp:105

↓ 164 callersMethodadd

src/solver.cpp:627

↓ 147 callersMethodresize

src/solver.cpp:479

↓ 146 callersMethodval

src/solver.cpp:883

↓ 116 callersFunctionrelative

src/util.hpp:16

↓ 95 callersFunctionprr

test/cnf/lrat-trim.c:226

↓ 78 callersMethodvlit

src/external.hpp:160

↓ 69 callersMethodsize

src/mobical.cpp:2322

↓ 66 callersFunctionpropagate

test/cnf/drat-trim.c:255

↓ 63 callersMethodgenerate_double

Generate 'double' value in the range '[0,1]' excluding '1'.

src/random.hpp:48

↓ 52 callersFunctionbacktrack

test/cnf/lrat-trim.c:807

↓ 52 callersMethodset

src/signal.cpp:115

↓ 49 callersFunctionnext_char

test/cnf/dimocheck.c:359

↓ 49 callersMethodnormal

src/terminal.hpp:58

↓ 44 callersFunctionerase_vector

src/util.hpp:86

↓ 44 callersFunctionshift

src/mobical.cpp:1277

↓ 41 callersMethodpush_back

src/mobical.cpp:2092

↓ 40 callersFunctionparse_int_str

↓ 40 callersMethodpick_int

Generate 'int' value in the range '[l,r]'.

src/random.hpp:52

↓ 39 callersFunctionerr

test/cnf/dimocheck.c:165

↓ 37 callersMethodsolve

src/solver.cpp:857

↓ 37 callersFunctionsrr

test/cnf/dimocheck.c:179

↓ 35 callersMethodbinary

src/watch.hpp:43

↓ 34 callersFunctionfree

src/mobical.cpp:180

↓ 33 callersMethodfind

src/checker.cpp:310

↓ 33 callersFunctionmalloc

src/mobical.cpp:173

↓ 33 callersMethodmessage

src/solver.cpp:1797

↓ 33 callersFunctionspace_name

test/cnf/dimocheck.c:381

↓ 32 callersMethodarity

src/congruence.hpp:276

↓ 31 callersFunctionread_ascii

test/cnf/lrat-trim.c:562

↓ 30 callersFunctiondie

src/kitten.c:17

↓ 28 callersMethodnormal_code

src/terminal.hpp:74

↓ 27 callersFunctionfatal_message_start

src/message.cpp:192

↓ 27 callersMethodgenerate_bool

src/random.hpp:44

↓ 27 callersFunctionprefix

test/api/parcompwrite.cpp:20

↓ 26 callersFunctionfatal_message_end

src/message.cpp:202

↓ 26 callersMethodmagenta

src/terminal.hpp:53

↓ 26 callersFunctionmsg

test/cnf/lrat-trim.c:248

↓ 25 callersMethoderase

src/heap.hpp:190

↓ 25 callersFunctionshrink_vector

src/util.hpp:97

↓ 23 callersMethodactive

src/solver.cpp:1149

↓ 23 callersMethodadd_derived_clause

src/proof.cpp:281

↓ 23 callersFunctionccadical_add

src/ccadical.cpp:98

↓ 23 callersFunctionmsg

test/cnf/dimocheck.c:116

↓ 23 callersMethodrend

src/range.hpp:89

↓ 23 callersFunctionvrb

test/cnf/lrat-trim.c:260

↓ 22 callersFunctioncrr

test/cnf/lrat-trim.c:829

↓ 21 callersFunctionbign

src/util.hpp:19

↓ 21 callersFunctiondereference_klause

src/kitten.c:211

↓ 21 callersFunctionhas_suffix

src/util.cpp:73

↓ 21 callersFunctionsign

src/util.hpp:18

↓ 19 callersMethodconstrain

src/solver.cpp:715

↓ 19 callersMethodeliminated

src/flags.hpp:69

↓ 19 callersFunctionenlarge_zero

src/util.hpp:115

↓ 18 callersMethodend

src/mobical.cpp:309

↓ 18 callersMethodfailed

src/assume.cpp:449

↓ 18 callersMethodinsert

src/checker.cpp:334

↓ 18 callersFunctionrealloc

src/mobical.cpp:176

↓ 17 callersMethodassume

src/assume.cpp:9

↓ 17 callersMethodcheck_learned_clause

src/external.hpp:439

↓ 17 callersFunctioncheck_test_case

test/api/propagate_assumptions.cpp:12

↓ 17 callersFunctiondie

test/cnf/lrat-trim.c:216

↓ 17 callersFunctionlog_api_call

src/solver.cpp:81

↓ 16 callersMethodbytes

src/file.hpp:199

↓ 16 callersFunctioncan_not_combine

test/cnf/dimocheck.c:1075

↓ 16 callersMethodcontains

Check whether 'e' is already in the heap.

src/heap.hpp:135

↓ 16 callersMethodsection

src/solver.cpp:1787

↓ 15 callersMethodclear

src/mobical.cpp:2079

↓ 15 callersMethoddelete_clause

src/proof.cpp:378

↓ 15 callersFunctionif

src/cadical.cpp:569

↓ 15 callersFunctionprint_statistics

test/cnf/lrat-trim.c:2713

↓ 15 callersMethodrbegin

Reverse iteration methods

src/range.hpp:86

↓ 14 callersFunctionanalyze

test/cnf/drat-trim.c:213

↓ 14 callersFunctionassign

test/cnf/drat-trim.c:77

↓ 14 callersFunctionccadical_val

src/ccadical.cpp:114

↓ 14 callersFunctionis_learned_klause

src/kitten.c:203

↓ 14 callersMethodmap_vector

src/compact.cpp:106

↓ 14 callersMethodunit_id

src/internal.hpp:436

↓ 13 callersMethodget_true

contrib/craigtracer.cpp:81

↓ 13 callersFunctionprocess_time

test/cnf/lrat-trim.c:759

↓ 13 callersFunctionto_string

contrib/craigtracer.cpp:279

↓ 12 callersMethodcollect

Check whether this clause is ready to be collected and deleted. The 'reason' flag is only there to protect reason clauses in 'reduce', which does not

src/clause.hpp:164

↓ 12 callersMethodexternalize

Map back an internal literal to an external.

src/internal.hpp:1628

↓ 12 callersMethodname

src/signal.cpp:74

↓ 12 callersFunctionph

test/api/example_propagators.cpp:35

↓ 12 callersMethodred

src/terminal.hpp:49

↓ 11 callersFunctiongate_contains

src/congruence.cpp:156

↓ 11 callersFunctionis_space

test/cnf/dimocheck.c:375

↓ 11 callersMethodlearn_empty_clause

src/analyze.cpp:15

↓ 11 callersFunctionlratAdd

test/cnf/drat-trim.c:612

↓ 11 callersFunctionprintClause

test/cnf/drat-trim.c:90

↓ 11 callersMethodsize

Number of elements in the heap.

src/heap.hpp:127

next →1–100 of 2,576, ranked by callers