Here is a list of all functions with links to the files they belong to:

- k -

• Kf_ManPerformMapping() : giaKf.c
• Kf_ManSetDefaultPars() : giaKf.c
• kiss_output() : cvrout.c, espresso.h
• kiss_print_cube() : cvrout.c, espresso.h
• kissat_abort() : error.c, error.h
• kissat_activate_literal() : flags.c, flags.h
• kissat_activate_literals() : flags.c, flags.h
• kissat_add() : internal.c, kissat.h
• kissat_allocate_clause() : arena.c, arena.h
• kissat_analyze() : analyze.c, analyze.h
• kissat_application() : application.h
• kissat_assign_binary() : assign.c, assign.h
• kissat_assign_decision() : assign.c, assign.h
• kissat_assign_reference() : assign.c, assign.h
• kissat_assign_unit() : assign.c, assign.h
• kissat_backtrack_after_conflict() : backtrack.c, backtrack.h
• kissat_backtrack_in_consistent_state() : backtrack.c, backtrack.h
• kissat_backtrack_propagate_and_flush_trail() : backtrack.c, backtrack.h
• kissat_backtrack_without_updating_phases() : backtrack.c, backtrack.h
• kissat_banner() : build.c, kissat.h
• kissat_binary_clauses_backbone() : backbone.c, backbone.h
• kissat_build() : build.c, kissat.h
• kissat_bump_analyzed() : bump.c, bump.h
• kissat_bump_delay() : kimits.c, kimits.h
• kissat_bump_score_increment() : bump.c, bump.h
• kissat_bump_variable() : bump.c, bump.h
• kissat_call_function_instead_of_abort() : error.c, error.h
• kissat_calloc() : allocate.c, allocate.h
• kissat_changed() : kimits.h
• kissat_changes() : kimits.h
• kissat_classify() : classify.c, classify.h
• kissat_close_file() : file.c, file.h
• kissat_compact_literals() : compact.c, compact.h
• kissat_compacting() : collect.c, collect.h
• kissat_compiler() : build.c, kissat.h
• kissat_compute_and_set_tier_limits() : tiers.c, tiers.h
• kissat_congruence() : congruence.c, congruence.h
• kissat_connect_clause() : clause.c, clause.h
• kissat_connect_irredundant_large_clauses() : watch.c, watch.h
• kissat_connect_referenced() : clause.c, clause.h
• kissat_copyright() : build.c, kissat.h
• kissat_dealloc() : allocate.c, allocate.h
• kissat_decide() : decide.c, decide.h
• kissat_decide_phase() : decide.c, decide.h
• kissat_decrease_phases() : phases.c, phases.h
• kissat_decrease_size() : resize.c, resize.h
• kissat_deduce_first_uip_clause() : deduce.c, deduce.h
• kissat_defrag_vectors() : vector.c, vector.h
• kissat_delaying() : kimits.c, kimits.h
• kissat_delete_binary() : clause.c, clause.h
• kissat_delete_clause() : clause.c, clause.h
• kissat_dense_collect() : collect.c, collect.h
• kissat_dense_propagate() : propdense.c, propdense.h
• kissat_determine_new_level() : learn.c, learn.h
• kissat_disable_reluctant() : reluctant.c, reluctant.h
• kissat_eliminate() : eliminate.c, eliminate.h
• kissat_eliminate_binary() : eliminate.c, eliminate.h
• kissat_eliminate_clause() : eliminate.c, eliminate.h
• kissat_eliminating() : eliminate.c, eliminate.h
• kissat_enable_reluctant() : reluctant.c, reluctant.h
• kissat_enlarge_heap() : heap.c, heap.h
• kissat_enlarge_variables() : resize.c, resize.h
• kissat_enlarge_vector() : vector.c, vector.h
• kissat_enter_dense_mode() : dense.c, dense.h
• kissat_error() : error.c, error.h
• kissat_extend() : extend.c, extend.h
• kissat_factor() : factor.c, factor.h
• kissat_fast_variable_elimination() : fastel.h
• kissat_fatal() : error.c, error.h
• kissat_fatal_message_start() : error.c, error.h
• kissat_file_exists() : file.c, file.h
• kissat_file_readable() : file.c, file.h
• kissat_file_size() : file.c, file.h
• kissat_file_writable() : file.c, file.h
• kissat_finalize_compacting() : compact.c, compact.h
• kissat_find_and_gate() : ands.c, ands.h
• kissat_find_definition() : definition.c, definition.h
• kissat_find_equivalence_gate() : equivalences.c, equivalences.h
• kissat_find_executable() : file.c, file.h
• kissat_find_gates() : gates.c, gates.h
• kissat_find_if_then_else_gate() : ifthenelse.c, ifthenelse.h
• kissat_flush_all_connected() : watch.c, watch.h
• kissat_flush_and_mark_reason_clauses() : trail.c, trail.h
• kissat_flush_large_connected() : watch.c, watch.h
• kissat_flush_large_watches() : watch.c, watch.h
• kissat_flush_trail() : trail.c, trail.h
• kissat_flush_units_while_connected() : eliminate.c, eliminate.h
• kissat_force_colors() : colors.c, colors.h
• kissat_force_no_colors() : colors.c, colors.h
• kissat_format_bytes() : format.c, format.h
• kissat_format_count() : format.c, format.h
• kissat_format_ordinal() : format.c, format.h
• kissat_format_signs() : format.c, format.h
• kissat_format_time() : format.c, format.h
• kissat_format_value() : format.c, format.h
• kissat_forward_subsume_during_elimination() : forward.c, forward.h
• kissat_free() : allocate.c, allocate.h
• kissat_freestr() : allocate.c, allocate.h
• kissat_fresh_literal() : import.c, import.h
• kissat_generate_resolvents() : resolve.c, resolve.h
• kissat_get_antecedents() : gates.c, gates.h
• kissat_get_option() : internal.c, kissat.h
• kissat_has_configuration() : kissat.h
• kissat_has_suffix() : utilities.c, utilities.h
• kissat_id() : build.c, kissat.h
• kissat_import_literal() : import.c, import.h
• kissat_increase_phases() : phases.c, phases.h
• kissat_increase_size() : resize.c, resize.h
• kissat_init() : internal.c, kissat.h
• kissat_init_alarm() : handle.h
• kissat_init_averages() : averages.c, averages.h
• kissat_init_limits() : kimits.c, kimits.h
• kissat_init_mode_limit() : mode.c, mode.h
• kissat_init_options() : kptions.c, options.h
• kissat_init_queue() : queue.c, queue.h
• kissat_init_reluctant() : reluctant.c, reluctant.h
• kissat_init_signal_handler() : handle.h
• kissat_init_smooth() : smooth.c, smooth.h
• kissat_initial_sparse_collect() : collect.c, collect.h
• kissat_initialize_terminal() : colors.c, colors.h
• kissat_initially_propagate() : propinitially.c, propinitially.h
• kissat_internal_assume() : decide.c, decide.h
• kissat_is_inconsistent() : internal.c, kissat.h
• kissat_learn_clause() : learn.c, learn.h
• kissat_learned_unit() : assign.c, assign.h
• kissat_logn() : kimits.c, kimits.h
• kissat_looks_like_a_compressed_file() : file.c, file.h
• kissat_lucky() : kucky.c, lucky.h
• kissat_malloc() : allocate.c, allocate.h
• kissat_mark_added_literals() : flags.c, flags.h
• kissat_mark_binaries() : gates.c, gates.h
• kissat_mark_clause_as_garbage() : clause.c, clause.h
• kissat_mark_eliminated_variable() : flags.c, flags.h
• kissat_mark_fixed_literal() : flags.c, flags.h
• kissat_mark_reason_clauses() : trail.c, trail.h
• kissat_mark_removed_literals() : flags.c, flags.h
• kissat_minimize_clause() : minimize.c, minimize.h
• kissat_minimize_literal() : minimize.c, minimize.h
• kissat_nalloc() : allocate.c, allocate.h
• kissat_new_binary_clause() : clause.c, clause.h
• kissat_new_irredundant_clause() : clause.c, clause.h
• kissat_new_original_clause() : clause.c, clause.h
• kissat_new_redundant_clause() : clause.c, clause.h
• kissat_new_unwatched_binary_clause() : clause.c, clause.h
• kissat_next_decision_variable() : decide.c, decide.h
• kissat_next_format_string() : format.c, format.h
• kissat_nlogpown() : kimits.c, kimits.h
• kissat_nrealloc() : allocate.c, allocate.h
• kissat_on_the_fly_strengthen() : strengthen.c, strengthen.h
• kissat_on_the_fly_subsume() : strengthen.c, strengthen.h
• kissat_open_to_read_file() : file.c, file.h
• kissat_open_to_write_file() : file.c, file.h
• kissat_options_get() : kptions.c, options.h
• kissat_options_has() : kptions.c
• kissat_original_unit() : assign.c, assign.h
• kissat_parse_dimacs() : parse.h
• kissat_parse_option_name() : kptions.c, options.h
• kissat_parse_option_value() : kptions.c, options.h
• kissat_preprocess() : preprocess.c, preprocess.h
• kissat_preprocessing() : preprocess.c, preprocess.h
• kissat_print_statistics() : internal.c, kissat.h
• kissat_print_tier_usage_statistics() : tiers.c, tiers.h
• kissat_print_witness() : witness.h
• kissat_probe() : probe.c, probe.h
• kissat_probe_initially() : probe.c, probe.h
• kissat_probing() : probe.c, probe.h
• kissat_probing_propagate() : proprobe.c, proprobe.h
• kissat_promote_clause() : promote.c, promote.h
• kissat_propagate_beyond_conflicts() : propbeyond.c, propbeyond.h
• kissat_read_already_open_file() : file.c, file.h
• kissat_realloc() : allocate.c, allocate.h
• kissat_reassign_queue_stamps() : queue.c, queue.h
• kissat_recompute_and_promote() : deduce.c, deduce.h
• kissat_reduce() : reduce.c, reduce.h
• kissat_reduce_delay() : kimits.c, kimits.h
• kissat_reducing() : reduce.c, reduce.h
• kissat_release() : internal.c, kissat.h
• kissat_release_heap() : heap.c, heap.h
• kissat_release_phases() : phases.c, phases.h
• kissat_release_vectors() : vector.c, vector.h
• kissat_remove_binary_watch() : watch.c, watch.h
• kissat_remove_blocking_watch() : watch.c, watch.h
• kissat_remove_from_vector() : vector.c, vector.h
• kissat_reorder() : reorder.c, reorder.h
• kissat_reordering() : reorder.c, reorder.h
• kissat_rephase() : rephase.c, rephase.h
• kissat_rephasing() : rephase.c, rephase.h
• kissat_rescale_heap() : heap.c, heap.h
• kissat_rescale_scores() : bump.c, bump.h
• kissat_reserve() : internal.c, kissat.h
• kissat_reset_alarm() : handle.h
• kissat_reset_last_learned() : internal.c, internal.h
• kissat_reset_only_analyzed_literals() : analyze.c, analyze.h
• kissat_reset_poisoned() : minimize.c, minimize.h
• kissat_reset_search_of_queue() : queue.c, queue.h
• kissat_reset_signal_handler() : handle.h
• kissat_resize_heap() : heap.c, heap.h
• kissat_resize_vector() : vector.c, vector.h
• kissat_restart() : restart.c, restart.h
• kissat_restarting() : restart.c, restart.h
• kissat_resume_sparse_mode() : dense.c, dense.h
• kissat_save_best_phases() : phases.c, phases.h
• kissat_save_target_phases() : phases.c, phases.h
• kissat_scale_delta() : kimits.c, kimits.h
• kissat_search() : search.c, search.h
• kissat_search_propagate() : propsearch.c, propsearch.h
• kissat_set_configuration() : kissat.h
• kissat_set_conflict_limit() : internal.c, kissat.h
• kissat_set_decision_limit() : internal.c, kissat.h
• kissat_set_option() : internal.c, kissat.h
• kissat_set_prefix() : internal.c, kissat.h
• kissat_set_terminate() : internal.c, kissat.h
• kissat_shrink_arena() : arena.c, arena.h
• kissat_shrink_clause() : shrink.c, shrink.h
• kissat_shrink_stack() : stack.c, stack.h
• kissat_signature() : build.c, kissat.h
• kissat_solve() : internal.c, kissat.h
• kissat_solve_cnf() : kissatSolver.c, kissatSolver.h
• kissat_solver_addclause() : kissatSolver.c, kissatSolver.h
• kissat_solver_addvar() : kissatSolver.c, kissatSolver.h
• kissat_solver_delete() : kissatSolver.c, kissatSolver.h
• kissat_solver_get_var_value() : kissatSolver.c, kissatSolver.h
• kissat_solver_new() : kissatSolver.c, kissatSolver.h
• kissat_solver_nvars() : kissatSolver.c, kissatSolver.h
• kissat_solver_setnvars() : kissatSolver.c, kissatSolver.h
• kissat_solver_solve() : kissatSolver.c, kissatSolver.h
• kissat_solver_test() : kissatTest.c
• kissat_sort_literals() : clause.h, sort.c
• kissat_sparse_collect() : collect.c, collect.h
• kissat_sqrt() : kimits.c, kimits.h
• kissat_stack_enlarge() : stack.c, stack.h
• kissat_start_random_sequence() : decide.c, decide.h
• kissat_strdup() : allocate.c, allocate.h
• kissat_substitute() : substitute.c, substitute.h
• kissat_substitute_large_watch() : watch.c, watch.h
• kissat_sweep() : sweep.c, sweep.h
• kissat_switch_search_mode() : mode.c, mode.h
• kissat_switching_search_mode() : mode.c, mode.h
• kissat_terminate() : internal.c, kissat.h
• kissat_tick_reluctant() : reluctant.c, reluctant.h
• kissat_transitive_reduction() : transitive.c, transitive.h
• kissat_unmark_binaries() : gates.c, gates.h
• kissat_unmark_reason_clauses() : trail.c, trail.h
• kissat_update_first_reducible() : collect.c, collect.h
• kissat_update_focused_restart_limit() : restart.c, restart.h
• kissat_update_last_irredundant() : collect.c, collect.h
• kissat_update_learned() : learn.c, learn.h
• kissat_update_scores() : bump.c, bump.h
• kissat_update_smooth() : smooth.c, smooth.h
• kissat_update_variable_score() : eliminate.c, eliminate.h
• kissat_value() : internal.c, kissat.h
• kissat_version() : build.c, kissat.h
• kissat_vivify() : vivify.c, vivify.h
• kissat_walk() : walk.c, walk.h
• kissat_walking() : walk.c, walk.h
• kissat_wall_clock_time() : resources.h
• kissat_warmup() : warmup.c, warmup.h
• kissat_watch_large_clauses() : watch.c, watch.h
• kissat_weaken_binary() : weaken.c, weaken.h
• kissat_weaken_clause() : weaken.c, weaken.h
• kissat_weaken_unit() : weaken.c, weaken.h
• kissat_write_already_open_file() : file.c, file.h
• kissat_write_dimacs() : krite.c, krite.h
• Kit_CloudToTruth() : kit.h, kitCloud.c
• Kit_CoverToHop() : kitHop.c
• Kit_CreateCloud() : kit.h, kitCloud.c
• Kit_CreateCloudFromTruth() : kit.h, kitCloud.c
• Kit_DecComputeOuputArrival() : kitDec.c
• Kit_DecComputePattern() : kitDec.c
• Kit_DecComputeShared() : kitDec.c
• Kit_DecComputeShared_rec() : kitDec.c
• Kit_DecComputeTruth() : kitDec.c
• Kit_DecComputeTruthOne() : kitDec.c
• Kit_DsdCheckVar4Dec2() : kitDsd.c
• Kit_DsdCofactoring() : kit.h, kitDsd.c
• Kit_DsdCofactoringGetVars() : kitDsd.c
• Kit_DsdCompSort() : kitDsd.c
• Kit_DsdCountAigNodes() : kit.h, kitDsd.c
• Kit_DsdCountAigNodes2() : kitDsd.c
• Kit_DsdCountAigNodes_rec() : kitDsd.c
• Kit_DsdCountLuts() : kitDsd.c
• Kit_DsdCountLuts_rec() : kitDsd.c
• Kit_DsdDecompose() : kit.h, kitDsd.c
• Kit_DsdDecompose_rec() : kitDsd.c
• Kit_DsdDecomposeExpand() : kit.h, kitDsd.c
• Kit_DsdDecomposeInt() : kitDsd.c
• Kit_DsdDecomposeMux() : kit.h, kitDsd.c
• Kit_DsdDeriveNtk() : kit.h
• Kit_DsdEval() : kitDsd.c
• Kit_DsdExpand() : kit.h, kitDsd.c
• Kit_DsdExpandCollectAnd_rec() : kitDsd.c
• Kit_DsdExpandCollectXor_rec() : kitDsd.c
• Kit_DsdExpandNode_rec() : kitDsd.c
• Kit_DsdFindLargeBox() : kitDsd.c
• Kit_DsdFindLargeBox_rec() : kitDsd.c
• Kit_DsdGetSupports() : kit.h, kitDsd.c
• Kit_DsdGetSupports_rec() : kitDsd.c
• Kit_DsdManAlloc() : kit.h, kitDsd.c
• Kit_DsdManFree() : kit.h, kitDsd.c
• Kit_DsdNonDsdPrimeMax() : kit.h, kitDsd.c
• Kit_DsdNonDsdSizeMax() : kit.h, kitDsd.c
• Kit_DsdNonDsdSupports() : kit.h, kitDsd.c
• Kit_DsdNpn4ClassNames() : kitDsd.c
• Kit_DsdNtkAlloc() : kitDsd.c
• Kit_DsdNtkFree() : kit.h, kitDsd.c
• Kit_DsdObjAlloc() : kitDsd.c
• Kit_DsdObjFree() : kitDsd.c
• Kit_DsdPrecompute4Vars() : kitDsd.c
• Kit_DsdPrint() : kit.h, kitDsd.c
• Kit_DsdPrint2() : kitDsd.c
• Kit_DsdPrint2_rec() : kitDsd.c
• Kit_DsdPrint_rec() : kitDsd.c
• Kit_DsdPrintCofactors() : kitDsd.c
• Kit_DsdPrintExpanded() : kit.h, kitDsd.c
• Kit_DsdPrintFromTruth() : kit.h, kitDsd.c, amapInt.h, ifDec07.c, ifDec08.c, ifDec16.c, mpmInt.h, sfmInt.h
• Kit_DsdPrintFromTruth2() : kit.h, kitDsd.c
• Kit_DsdPrintHex() : kitDsd.c
• Kit_DsdRootNodeHasCommonVars() : kitDsd.c
• Kit_DsdRotate() : kit.h, kitDsd.c
• Kit_DsdShrink() : kit.h, kitDsd.c
• Kit_DsdShrink_rec() : kitDsd.c
• Kit_DsdTest() : kitDsd.c
• Kit_DsdTestCofs() : kitDsd.c
• Kit_DsdTruth() : kit.h, kitDsd.c
• Kit_DsdTruthCompute() : kit.h, kitDsd.c
• Kit_DsdTruthComputeNode_rec() : kitDsd.c
• Kit_DsdTruthComputeNodeOne_rec() : kitDsd.c
• Kit_DsdTruthComputeNodeTwo_rec() : kitDsd.c
• Kit_DsdTruthComputeOne() : kitDsd.c
• Kit_DsdTruthComputeTwo() : kitDsd.c
• Kit_DsdTruthPartial() : kit.h, kitDsd.c
• Kit_DsdTruthPartialTwo() : kit.h, kitDsd.c
• Kit_DsdVerify() : kit.h, kitDsd.c
• Kit_DsdWrite() : kitDsd.c
• Kit_DsdWrite_rec() : kitDsd.c
• Kit_DsdWriteFromTruth() : kit.h, kitDsd.c
• Kit_DsdWriteHex() : kitDsd.c
• Kit_FactorTest() : kitFactor.c
• Kit_GraphAddNodeAnd() : kit.h, kitGraph.c
• Kit_GraphAddNodeMux() : kit.h, kitGraph.c
• Kit_GraphAddNodeOr() : kit.h, kitGraph.c
• Kit_GraphAddNodeXor() : kit.h, kitGraph.c
• Kit_GraphAppendNode() : kit.h, kitGraph.c
• Kit_GraphCreate() : kit.h, kitGraph.c
• Kit_GraphCreateConst0() : kit.h, kitGraph.c
• Kit_GraphCreateConst1() : kit.h, kitGraph.c
• Kit_GraphCreateLeaf() : kit.h, kitGraph.c
• Kit_GraphFree() : kit.h, kitGraph.c
• Kit_GraphLeafDepth_rec() : kit.h, kitGraph.c
• Kit_GraphLevelNum_rec() : kitGraph.c
• Kit_GraphToAig() : kitAig.c
• Kit_GraphToAigInternal() : kitAig.c
• Kit_GraphToGia() : kitHop.c
• Kit_GraphToGiaInternal() : kitHop.c
• Kit_GraphToHop() : kitHop.c, resCore.c
• Kit_GraphToHopInternal() : kitHop.c
• Kit_GraphToTruth() : kit.h, kitGraph.c
• Kit_IsopNodeNum() : kit.h, kitHop.c
• Kit_IsopResub() : kit.h, kitHop.c
• Kit_IsopResubInt() : kitHop.c
• Kit_ManDecStart() : kitDec.c
• Kit_ManDecStop() : kitDec.c
• Kit_PermCompute() : kitPerm.c
• Kit_PermComputeNaive() : kitPerm.c
• Kit_PermComputeTest() : kitPerm.c
• Kit_PermComputeTest_() : kitPerm.c
• Kit_PermCreateP() : kitPerm.c
• Kit_PermCreateS() : kitPerm.c
• Kit_PlaComplement() : kit.h, kitPla.c
• Kit_PlaCreateFromIsop() : kit.h, kitPla.c
• Kit_PlaFromIsop() : kitPla.c
• Kit_PlaFromTruth() : kit.h, kitPla.c
• Kit_PlaFromTruthNew() : kit.h, kitPla.c
• Kit_PlaGetCubeNum() : kit.h, kitPla.c
• Kit_PlaGetVarNum() : kit.h, kitPla.c
• Kit_PlaIsBuf() : kit.h, kitPla.c
• Kit_PlaIsComplement() : kit.h, kitPla.c
• Kit_PlaIsConst0() : kit.h, kitPla.c
• Kit_PlaIsConst1() : kit.h, kitPla.c
• Kit_PlaIsInv() : kit.h, kitPla.c
• Kit_PlaStart() : kit.h, kitPla.c
• Kit_PlaStoreSop() : kit.h, kitPla.c
• Kit_PlaToIsop() : kit.h, kitPla.c
• Kit_PlaToTruth() : kit.h, kitPla.c
• Kit_PlaToTruth6() : kit.h, kitPla.c
• Kit_PrintHexadecimal() : kitTruth.c
• Kit_SopAnyLiteral() : kit.h, kitSop.c
• Kit_SopBestLiteral() : kitSop.c
• Kit_SopBestLiteralCover() : kit.h, kitSop.c
• Kit_SopCommonCubeCover() : kit.h, kitSop.c
• Kit_SopCreate() : kit.h, kitSop.c
• Kit_SopCreateInverse() : kit.h, kitSop.c
• Kit_SopDivideByCube() : kit.h, kitSop.c
• Kit_SopDivideByLiteralQuo() : kit.h, kitSop.c
• Kit_SopDivideInternal() : kit.h, kitSop.c
• Kit_SopDivisor() : kit.h, kitSop.c
• Kit_SopDivisorZeroKernel_rec() : kitSop.c
• Kit_SopDup() : kit.h, kitSop.c
• Kit_SopFactor() : kit.h, kitFactor.c
• Kit_SopFactorTrivial_rec() : kitFactor.c
• Kit_SopFactorTrivialCube_rec() : kitFactor.c
• Kit_SopFactorVerify() : kitFactor.c
• Kit_SopIsCubeFree() : kit.h, kitSop.c
• Kit_SopMakeCubeFree() : kit.h, kitSop.c
• Kit_SopWorstLiteral() : kitSop.c
• Kit_TruthBestCofVar() : kit.h, kitTruth.c
• Kit_TruthBooleanDiffCount() : kitTruth.c
• Kit_TruthChangePhase() : kit.h, kitTruth.c
• Kit_TruthChangePhase_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthCofactor0() : kit.h, kitTruth.c
• Kit_TruthCofactor0Count() : kitTruth.c
• Kit_TruthCofactor0New() : kit.h, kitTruth.c
• Kit_TruthCofactor1() : kit.h, kitTruth.c
• Kit_TruthCofactor1New() : kit.h, kitTruth.c
• Kit_TruthCofSupports() : kit.h, kitCloud.c
• Kit_TruthCompose() : kit.h, kitCloud.c
• Kit_TruthCopy_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthCountMinterms() : kitTruth.c
• Kit_TruthCountMintermsPrecomp() : kitTruth.c
• Kit_TruthCountOnes_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthCountOnesInCofs() : kit.h, kitTruth.c
• Kit_TruthCountOnesInCofs0() : kit.h, kitTruth.c
• Kit_TruthCountOnesInCofs_64bit() : luckySwap.c
• Kit_TruthCountOnesInCofsSlow() : kit.h, kitTruth.c
• Kit_TruthDumpToFile() : kit.h, kitTruth.c
• Kit_TruthExist() : kit.h, kitTruth.c
• Kit_TruthExistNew() : kit.h, kitTruth.c
• Kit_TruthExistSet() : kit.h, kitTruth.c
• Kit_TruthFindVarNum() : kitGraph.c
• Kit_TruthForall() : kit.h, kitTruth.c
• Kit_TruthForallNew() : kit.h, kitTruth.c
• Kit_TruthForallSet() : kit.h, kitTruth.c
• Kit_TruthHash() : kit.h, kitTruth.c
• Kit_TruthIsop() : kit.h, kitIsop.c
• Kit_TruthIsop2() : kit.h, kitIsop.c
• Kit_TruthIsopPrint() : kit.h, kitIsop.c
• Kit_TruthIsopPrintCover() : kit.h, kitIsop.c
• Kit_TruthLitNum() : kit.h, kitGraph.c
• Kit_TruthMinCofSuppOverlap() : kit.h, kitTruth.c
• Kit_TruthMuxVar() : kit.h, kitTruth.c
• Kit_TruthMuxVarPhase() : kit.h, kitTruth.c
• Kit_TruthNot_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthPermute() : kit.h, kitTruth.c
• Kit_TruthPrintProfile() : kit.h, kitTruth.c
• Kit_TruthPrintProfile_int() : kitTruth.c
• Kit_TruthSemiCanonicize() : kit.h, kitTruth.c
• Kit_TruthSemiCanonicize_new() : lucky.c, lucky.h
• Kit_TruthSemiCanonicize_new_internal() : lucky.c
• Kit_TruthSemiCanonicize_Yasha() : luckyInt.h, luckySwap.c
• Kit_TruthSemiCanonicize_Yasha1() : luckyInt.h, luckySwap.c
• Kit_TruthSemiCanonicize_Yasha_simple() : luckyInt.h, luckySwap.c
• Kit_TruthShrink() : kit.h, kitTruth.c
• Kit_TruthStats() : kitGraph.c
• Kit_TruthStatsArray() : kitGraph.c
• Kit_TruthStretch() : kit.h, kitTruth.c
• Kit_TruthSupport() : kit.h, kitTruth.c
• Kit_TruthSupportSize() : kit.h, kitTruth.c
• Kit_TruthSwapAdjacentVars() : kit.h, kitTruth.c
• Kit_TruthSwapAdjacentVars2() : kitTruth.c
• Kit_TruthSwapAdjacentVars_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthTest() : kitGraph.c
• Kit_TruthToAig() : kitAig.c
• Kit_TruthToCloud() : kit.h, kitCloud.c
• Kit_TruthToCloud5_rec() : kitCloud.c
• Kit_TruthToCloud_rec() : kitCloud.c
• Kit_TruthToGia() : giaIf.c, giaJf.c, giaLf.c, giaMf.c, giaMini.c, kitHop.c, ifDsd.c, dauGia.c
• Kit_TruthToGia2() : kitHop.c
• Kit_TruthToGraph() : kit.h, kitGraph.c
• Kit_TruthToGraph2() : kit.h, kitGraph.c
• Kit_TruthToHop() : kitHop.c
• Kit_TruthUniqueNew() : kit.h, kitTruth.c
• Kit_TruthVarInSupport() : kit.h, kitTruth.c
• Kit_TruthVarIsVacuous() : kit.h, kitTruth.c
• Kit_TruthVarsAntiSymm() : kit.h, kitTruth.c
• Kit_TruthVarsSymm() : kit.h, kitTruth.c
• Kit_TruthWordNum_64bit() : luckyInt.h, luckySwap.c
• Kit_TruthXorCount() : kitTruth.c
• Kit_WordCountOnes_64bit() : luckySwap.c
• kitten_assume() : kitten.c, kitten.h
• kitten_binary() : kitten.c, kitten.h
• kitten_clause() : kitten.c, kitten.h
• kitten_clause_with_id_and_exception() : kitten.c, kitten.h
• kitten_clear() : kitten.c, kitten.h
• kitten_compute_clausal_core() : kitten.c, kitten.h
• kitten_embedded() : kitten.c, kitten.h
• kitten_failed() : kitten.c, kitten.h
• kitten_fixed() : kitten.c, kitten.h
• kitten_flip_literal() : kitten.c, kitten.h
• kitten_flip_phases() : kitten.c, kitten.h
• kitten_init() : kitten.h
• kitten_no_ticks_limit() : kitten.c, kitten.h
• kitten_randomize_phases() : kitten.c, kitten.h
• kitten_release() : kitten.c, kitten.h
• kitten_set_ticks_limit() : kitten.c, kitten.h
• kitten_shrink_to_clausal_core() : kitten.c, kitten.h
• kitten_shuffle_clauses() : kitten.c, kitten.h
• kitten_solve() : kitten.c, kitten.h
• kitten_status() : kitten.c, kitten.h
• kitten_track_antecedents() : kitten.c, kitten.h
• kitten_traverse_core_clauses() : kitten.c, kitten.h
• kitten_traverse_core_ids() : kitten.c, kitten.h
• kitten_unit() : kitten.c, kitten.h
• kitten_value() : kitten.c, kitten.h