package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: expr

d .. (parent)
- - rw-r--r-- 5,435 CMakeLists.txt
- - rw-r--r-- 803 array.h
- - rw-r--r-- 55 array.i
- - rw-r--r-- 3,550 array_store_all.cpp
- - rw-r--r-- 2,300 array_store_all.h
- - rw-r--r-- 2,022 array_store_all.i
- - rw-r--r-- 1,953 ascription_type.h
- - rw-r--r-- 1,234 ascription_type.i
- - rw-r--r-- 3,482 attribute.cpp
- - rw-r--r-- 18,225 attribute.h
- - rw-r--r-- 15,141 attribute_internals.h
- - rw-r--r-- 1,739 attribute_unique_id.h
- - rw-r--r-- 31,611 datatype.cpp
- - rw-r--r-- 35,731 datatype.h
- - rw-r--r-- 7,165 datatype.i
- - rw-r--r-- 24,998 dtype.cpp
- - rw-r--r-- 24,852 dtype.h
- - rw-r--r-- 18,671 dtype_cons.cpp
- - rw-r--r-- 11,440 dtype_cons.h
- - rw-r--r-- 1,938 dtype_selector.cpp
- - rw-r--r-- 2,415 dtype_selector.h
- - rw-r--r-- 2,040 emptyset.cpp
- - rw-r--r-- 2,074 emptyset.h
- - rw-r--r-- 1,596 emptyset.i
- - rw-r--r-- 6,877 expr.i
- - rw-r--r-- 4,432 expr_iomanip.cpp
- - rw-r--r-- 6,122 expr_iomanip.h
- - rw-r--r-- 5,355 expr_manager.i
- - rw-r--r-- 2,572 expr_manager_scope.h
- - rw-r--r-- 43,951 expr_manager_template.cpp
- - rw-r--r-- 20,961 expr_manager_template.h
- - rw-r--r-- 2,668 expr_sequence.cpp
- - rw-r--r-- 2,234 expr_sequence.h
- - rw-r--r-- 1,622 expr_sequence.i
- - rw-r--r-- 24,510 expr_template.cpp
- - rw-r--r-- 18,761 expr_template.h
- - rw-r--r-- 465 kind.i
- - rw-r--r-- 6,518 kind_map.h
- - rw-r--r-- 2,525 kind_template.cpp
- - rw-r--r-- 2,976 kind_template.h
- - rw-r--r-- 5,246 lazy_proof.cpp
- - rw-r--r-- 3,781 lazy_proof.h
- - rw-r--r-- 5,657 match_trie.cpp
- - rw-r--r-- 2,527 match_trie.h
- - rw-r--r-- 5,355 metakind_template.cpp
- - rw-r--r-- 6,143 metakind_template.h
- - rwxr-xr-x 7,919 mkexpr
- - rwxr-xr-x 10,485 mkkind
- - rwxr-xr-x 10,857 mkmetakind
- - rw-r--r-- 3,830 node.cpp
- - rw-r--r-- 50,261 node.h
- - rw-r--r-- 14,908 node_algorithm.cpp
- - rw-r--r-- 6,616 node_algorithm.h
- - rw-r--r-- 48,205 node_builder.h
- - rw-r--r-- 30,093 node_manager.cpp
- - rw-r--r-- 54,167 node_manager.h
- - rw-r--r-- 1,412 node_manager_attributes.h
- - rw-r--r-- 1,276 node_manager_listeners.cpp
- - rw-r--r-- 1,669 node_manager_listeners.h
- - rw-r--r-- 3,300 node_self_iterator.h
- - rw-r--r-- 3,966 node_traversal.cpp
- - rw-r--r-- 4,594 node_traversal.h
- - rw-r--r-- 2,952 node_trie.cpp
- - rw-r--r-- 3,962 node_trie.h
- - rw-r--r-- 2,924 node_value.cpp
- - rw-r--r-- 15,222 node_value.h
- - rw-r--r-- 3,282 node_visitor.h
- - rw-r--r-- 13,134 proof.cpp
- - rw-r--r-- 12,154 proof.h
- - rw-r--r-- 7,933 proof_checker.cpp
- - rw-r--r-- 6,956 proof_checker.h
- - rw-r--r-- 2,212 proof_generator.cpp
- - rw-r--r-- 4,090 proof_generator.h
- - rw-r--r-- 2,046 proof_node.cpp
- - rw-r--r-- 4,566 proof_node.h
- - rw-r--r-- 3,716 proof_node_algorithm.cpp
- - rw-r--r-- 2,035 proof_node_algorithm.h
- - rw-r--r-- 2,729 proof_node_manager.cpp
- - rw-r--r-- 4,689 proof_node_manager.h
- - rw-r--r-- 4,093 proof_node_to_sexpr.cpp
- - rw-r--r-- 2,001 proof_node_to_sexpr.h
- - rw-r--r-- 4,625 proof_rule.cpp
- - rw-r--r-- 17,641 proof_rule.h
- - rw-r--r-- 2,925 proof_step_buffer.cpp
- - rw-r--r-- 2,876 proof_step_buffer.h
- - rw-r--r-- 3,448 record.cpp
- - rw-r--r-- 2,740 record.h
- - rw-r--r-- 6,972 sequence.cpp
- - rw-r--r-- 5,519 sequence.h
- - rw-r--r-- 10,838 skolem_manager.cpp
- - rw-r--r-- 8,729 skolem_manager.h
- - rw-r--r-- 3,877 sygus_datatype.cpp
- - rw-r--r-- 4,890 sygus_datatype.h
- - rw-r--r-- 22,187 symbol_table.cpp
- - rw-r--r-- 6,998 symbol_table.h
- - rw-r--r-- 5,892 term_canonize.cpp
- - rw-r--r-- 3,659 term_canonize.h
- - rw-r--r-- 7,857 term_conversion_proof_generator.cpp
- - rw-r--r-- 4,745 term_conversion_proof_generator.h
- - rw-r--r-- 18,458 type.cpp
- - rw-r--r-- 18,223 type.h
- - rw-r--r-- 12,381 type.i
- - rw-r--r-- 1,119 type_checker.h
- - rw-r--r-- 2,052 type_checker_template.cpp
- - rw-r--r-- 5,137 type_checker_util.h
- - rw-r--r-- 3,181 type_matcher.cpp
- - rw-r--r-- 2,324 type_matcher.h
- - rw-r--r-- 19,104 type_node.cpp
- - rw-r--r-- 32,518 type_node.h
- - rw-r--r-- 3,874 type_properties_template.h
- - rw-r--r-- 1,734 uninterpreted_constant.cpp
- - rw-r--r-- 2,180 uninterpreted_constant.h
- - rw-r--r-- 824 uninterpreted_constant.i
- - rw-r--r-- 1,697 variable_type_map.h
- - rw-r--r-- 1,318 variable_type_map.i