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

↓ 11 callersMethodswap

src/arena.cpp:22

↓ 11 callersFunctionwrn

test/cnf/lrat-trim.c:272

↓ 10 callersMethodclosed

src/lidruptracer.cpp:603

↓ 10 callersMethodclosed

src/idruptracer.cpp:515

↓ 10 callersMethodinit

↓ 10 callersFunctionis_digit

test/cnf/dimocheck.c:379

↓ 10 callersMethodkeyword

src/mobical.cpp:1582

↓ 10 callersFunctionwrite_str

test/cnf/lrat-trim.c:713

↓ 9 callersMethodblue

src/terminal.hpp:52

↓ 9 callersMethodclause

src/solver.cpp:658

↓ 9 callersFunctionclear_n

src/util.hpp:159

↓ 9 callersMethodcopy

src/mobical.cpp:1581

↓ 9 callersFunctionexceeds_int_max

test/cnf/lrat-trim.c:1182

↓ 9 callersMethodfront

Returns the maximum element in the heap.

src/heap.hpp:156

↓ 9 callersMethodget_false

contrib/craigtracer.cpp:82

↓ 9 callersMethodgreen_code

src/terminal.hpp:70

↓ 9 callersFunctionis_core_klause

src/kitten.c:199

↓ 9 callersMethodmark_garbage

src/congruence.cpp:713

↓ 9 callersFunctionread_binary

test/cnf/lrat-trim.c:615

↓ 9 callersMethodrelease

src/reap.cpp:15

↓ 9 callersMethodweaken_minus

src/proof.cpp:396

↓ 9 callersFunctionwrite_binary

test/cnf/lrat-trim.c:679

↓ 9 callersFunctionwrite_int

test/cnf/lrat-trim.c:722

↓ 9 callersFunctionwrite_lit

test/cnf/drat-trim.c:388

↓ 9 callersFunctionwrr

test/cnf/dimocheck.c:193

↓ 9 callersMethodyellow

src/terminal.hpp:51

↓ 8 callersMethodbold

src/terminal.hpp:57

↓ 8 callersMethodconnect_proof_tracer

src/proof.cpp:30

↓ 8 callersMethodcreate_and

contrib/craigtracer.cpp:137

↓ 8 callersMethodcreate_or

contrib/craigtracer.cpp:188

↓ 8 callersMethodfixed

src/solver.cpp:954

↓ 8 callersMethodgreen

src/terminal.hpp:50

↓ 8 callersFunctionhas_suffix

test/cnf/lrat-trim.c:2516

↓ 8 callersFunctioninc_lits

src/congruence.cpp:3456

↓ 8 callersMethodlimit

src/limit.cpp:117

↓ 8 callersMethodmarked2

Marking individual literals.

src/internal.hpp:557

↓ 8 callersFunctionpath

test/api/parcompwrite.cpp:30

↓ 8 callersFunctionpretty_bytes

test/cnf/lrat-trim.c:297

↓ 8 callersFunctionrsort

src/radix.hpp:41

↓ 8 callersMethodtrace_proof

src/solver.cpp:1204

↓ 8 callersMethodvars

src/solver.cpp:471

↓ 8 callersFunctionwatch_klause

src/kitten.c:774

↓ 7 callersMethodadd_observed_var

src/solver.cpp:1117

↓ 7 callersFunctioncheck_correct_ite_flags

src/congruence.cpp:89

↓ 7 callersMethodconclude

src/solver.cpp:1327

↓ 7 callersFunctiondie

test/cnf/dimocheck.c:140

↓ 7 callersFunctionevsids_limit_hit

src/analyze.cpp:76

↓ 7 callersMethodfork_and_execute

src/mobical.cpp:3541

↓ 7 callersFunctionipasir_add

src/ipasir.cpp:18

↓ 7 callersFunctionis_original_clause

test/cnf/lrat-trim.c:1146

↓ 7 callersMethodnext

src/random.hpp:32

↓ 7 callersFunctionph

test/api/cipasir.c:18

↓ 7 callersMethodpop

src/reap.cpp:46

↓ 7 callersMethodpop_front

Removes the maximum element in the heap.

src/heap.hpp:163

↓ 7 callersMethodpush

src/reap.cpp:33

↓ 7 callersMethodreset

src/signal.cpp:61

↓ 7 callersFunctionrounded_percent

src/mobical.cpp:3229

↓ 7 callersMethodtime

src/internal.hpp:1731

↓ 7 callersMethodupdate

↓ 6 callersMethodadd

src/external.cpp:172

↓ 6 callersFunctionaddWatch

test/cnf/drat-trim.c:113

↓ 6 callersMethodbegin

src/mobical.cpp:308

↓ 6 callersFunctionccadical_solve

src/ccadical.cpp:106

↓ 6 callersFunctioncheck_queue

src/kitten.c:376

↓ 6 callersMethodclear

contrib/craigtracer.cpp:84

↓ 6 callersMethodclose_proof_trace

src/solver.cpp:1242

↓ 6 callersMethodclosed

src/veripbtracer.cpp:383

↓ 6 callersMethodconnect

src/proof.hpp:56

↓ 6 callersMethodcreate_literal

contrib/craigtracer.cpp:132

↓ 6 callersMethoddeclare_one_more_variable

src/solver.cpp:499

↓ 6 callersFunctionenlarge_clauses

test/cnf/dimocheck.c:256

↓ 6 callersFunctionhas_prefix

src/util.cpp:78

↓ 6 callersMethodmagenta_code

src/terminal.hpp:65

↓ 6 callersMethodmap2_vector

src/compact.cpp:122

↓ 6 callersFunctionparity_lits

src/congruence.cpp:3449

↓ 6 callersFunctionprocess_type

src/mobical.cpp:1436

↓ 6 callersMethodpropagate

src/solver.cpp:780

↓ 6 callersMethodpush_clause_on_extension_stack

src/extend.cpp:55

↓ 6 callersFunctionread_file

test/cnf/lrat-trim.c:2490

↓ 6 callersFunctionread_pipe

test/cnf/lrat-trim.c:2482

↓ 6 callersFunctionremoveWatch

test/cnf/drat-trim.c:117

↓ 6 callersMethodreset_concluded

src/assume.cpp:481

↓ 6 callersMethodu2i

src/internal.hpp:414

↓ 6 callersMethodvars

src/mobical.cpp:2276

↓ 6 callersFunctionwrite_space

test/cnf/lrat-trim.c:711

↓ 5 callersFunctionabsolute_real_time

src/resources.cpp:46

↓ 5 callersMethodadd_assumption_clause

src/proof.cpp:337

↓ 5 callersMethodassign_unit

src/propagate.cpp:178

↓ 5 callersFunctionaverage

test/cnf/lrat-trim.c:778

↓ 5 callersMethodcheck_invariant

src/congruence.hpp:93

↓ 5 callersMethodclause

test/api/traverse.cpp:78

↓ 5 callersMethoddeclare_more_variables

src/solver.cpp:488

↓ 5 callersMethoddisable

src/terminal.cpp:25

↓ 5 callersMethoddisconnect_proof_tracer

src/proof.cpp:82

↓ 5 callersMethodenqueue

src/backward.cpp:12

↓ 5 callersFunctionfatal

test/cnf/dimocheck.c:152

↓ 5 callersMethodget

src/solver.cpp:543

↓ 5 callersMethodget_node_index

contrib/craigtracer.cpp:52

↓ 5 callersFunctioninit

test/cnf/drat-trim.c:1124

↓ 5 callersFunctionkitten_status

src/kitten.c:1910

← previous next →101–200 of 2,576, ranked by callers