package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389

Folder: CLAUSES

d .. (parent)
- - rw-r--r-- 1,772 Makefile
- - rw-r--r-- 4,696 ccl_axiomsorter.c
- - rw-r--r-- 2,047 ccl_axiomsorter.h
- - rw-r--r-- 6,226 ccl_clausecpos.c
- - rw-r--r-- 1,793 ccl_clausecpos.h
- - rw-r--r-- 29,023 ccl_clausefunc.c
- - rw-r--r-- 2,514 ccl_clausefunc.h
- - rw-r--r-- 7,273 ccl_clauseinfo.c
- - rw-r--r-- 2,541 ccl_clauseinfo.h
- - rw-r--r-- 8,053 ccl_clausepos.c
- - rw-r--r-- 6,362 ccl_clausepos.h
- - rw-r--r-- 7,165 ccl_clausepos_tree.c
- - rw-r--r-- 2,408 ccl_clausepos_tree.h
- - rw-r--r-- 63,430 ccl_clauses.c
- - rw-r--r-- 20,414 ccl_clauses.h
- - rw-r--r-- 58,589 ccl_clausesets.c
- - rw-r--r-- 8,159 ccl_clausesets.h
- - rw-r--r-- 1,411 ccl_clausetrees.h
- - rw-r--r-- 4,853 ccl_condensation.c
- - rw-r--r-- 1,537 ccl_condensation.h
- - rw-r--r-- 4,365 ccl_context_sr.c
- - rw-r--r-- 1,667 ccl_context_sr.h
- - rw-r--r-- 9,355 ccl_def_handling.c
- - rw-r--r-- 2,540 ccl_def_handling.h
- - rw-r--r-- 60,693 ccl_derivation.c
- - rw-r--r-- 9,479 ccl_derivation.h
- - rw-r--r-- 84,041 ccl_eqn.c
- - rw-r--r-- 18,517 ccl_eqn.h
- - rw-r--r-- 43,483 ccl_eqnlist.c
- - rw-r--r-- 5,528 ccl_eqnlist.h
- - rw-r--r-- 4,327 ccl_eqnresolution.c
- - rw-r--r-- 1,615 ccl_eqnresolution.h
- - rw-r--r-- 10,656 ccl_ext_index.c
- - rw-r--r-- 1,760 ccl_ext_index.h
- - rw-r--r-- 17,714 ccl_f_generality.c
- - rw-r--r-- 4,453 ccl_f_generality.h
- - rw-r--r-- 11,353 ccl_factor.c
- - rw-r--r-- 2,034 ccl_factor.h
- - rw-r--r-- 13,701 ccl_fcvindexing.c
- - rw-r--r-- 3,471 ccl_fcvindexing.h
- - rw-r--r-- 9,003 ccl_findex.c
- - rw-r--r-- 2,282 ccl_findex.h
- - rw-r--r-- 24,080 ccl_formula_wrapper.c
- - rw-r--r-- 4,312 ccl_formula_wrapper.h
- - rw-r--r-- 65,297 ccl_formulafunc.c
- - rw-r--r-- 4,359 ccl_formulafunc.h
- - rw-r--r-- 13,470 ccl_formulasets.c
- - rw-r--r-- 3,278 ccl_formulasets.h
- - rw-r--r-- 27,733 ccl_freqvectors.c
- - rw-r--r-- 7,842 ccl_freqvectors.h
- - rw-r--r-- 6,614 ccl_g_lithash.c
- - rw-r--r-- 2,948 ccl_g_lithash.h
- - rw-r--r-- 5,338 ccl_garbage_coll.c
- - rw-r--r-- 2,113 ccl_garbage_coll.h
- - rw-r--r-- 9,823 ccl_global_indices.c
- - rw-r--r-- 3,386 ccl_global_indices.h
- - rw-r--r-- 12,184 ccl_groundconstr.c
- - rw-r--r-- 3,237 ccl_groundconstr.h
- - rw-r--r-- 28,681 ccl_grounding.c
- - rw-r--r-- 5,559 ccl_grounding.h
- - rw-r--r-- 49,993 ccl_inferencedoc.c
- - rw-r--r-- 6,778 ccl_inferencedoc.h
- - rw-r--r-- 15,207 ccl_neweval.c
- - rw-r--r-- 4,274 ccl_neweval.h
- - rw-r--r-- 23,452 ccl_overlap_index.c
- - rw-r--r-- 3,166 ccl_overlap_index.h
- - rw-r--r-- 42,692 ccl_paramod.c
- - rw-r--r-- 4,826 ccl_paramod.h
- - rw-r--r-- 39,210 ccl_pdtrees.c
- - rw-r--r-- 8,409 ccl_pdtrees.h
- - rw-r--r-- 28,618 ccl_proofstate.c
- - rw-r--r-- 7,568 ccl_proofstate.h
- - rw-r--r-- 8,831 ccl_propclauses.c
- - rw-r--r-- 3,397 ccl_propclauses.h
- - rw-r--r-- 13,370 ccl_relevance.c
- - rw-r--r-- 2,431 ccl_relevance.h
- - rw-r--r-- 40,118 ccl_rewrite.c
- - rw-r--r-- 2,984 ccl_rewrite.h
- - rw-r--r-- 29,108 ccl_satinterface.c
- - rw-r--r-- 4,730 ccl_satinterface.h
- - rw-r--r-- 26,395 ccl_sine.c
- - rw-r--r-- 5,919 ccl_sine.h
- - rw-r--r-- 18,220 ccl_splitting.c
- - rw-r--r-- 3,080 ccl_splitting.h
- - rw-r--r-- 45,969 ccl_subsumption.c
- - rw-r--r-- 3,642 ccl_subsumption.h
- - rw-r--r-- 8,612 ccl_subterm_index.c
- - rw-r--r-- 2,028 ccl_subterm_index.h
- - rw-r--r-- 12,898 ccl_subterm_tree.c
- - rw-r--r-- 3,416 ccl_subterm_tree.h
- - rw-r--r-- 10,142 ccl_tautologies.c
- - rw-r--r-- 1,545 ccl_tautologies.h
- - rw-r--r-- 68,370 ccl_tcnf.c
- - rw-r--r-- 2,674 ccl_tcnf.h
- - rw-r--r-- 53,223 ccl_tformulae.c
- - rw-r--r-- 4,845 ccl_tformulae.h
- - rw-r--r-- 10,152 ccl_unfold_defs.c
- - rw-r--r-- 2,836 ccl_unfold_defs.h
- - rw-r--r-- 9,498 ccl_unit_simplify.c
- - rw-r--r-- 2,396 ccl_unit_simplify.h