projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbcd471) | patch
TypeNode: Rename isSort() and getSortConstructorArity(). (#8446)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 30 Mar 2022 00:22:40 +0000 (17:22 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 00:22:40 +0000 (00:22 +0000)
commit319caf1bf9bff1e02dbdce037a1fe41064470fe0
tree8721b60691d7bb115af6eaa1f6d1111b15745088tree
parentbbcd471ed40c813c48957ced5596471cc0ccebe9commit | diff
TypeNode: Rename isSort() and getSortConstructorArity(). (#8446)

Names of these two functions were slightly confusing with respect to API
terminology. This renames isSort() to isUninterpretedSort() and
getSortConstructorArity() to getUninterpretedSortConstructorArity() for
more consistency and clarity.
30 files changed:
src/api/cpp/cvc5.cpp diff | blob | history
src/expr/cardinality_constraint.cpp diff | blob | history
src/expr/dtype.cpp diff | blob | history
src/expr/dtype_cons.cpp diff | blob | history
src/expr/node_manager_template.cpp diff | blob | history
src/expr/symbol_table.cpp diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/preprocessing/passes/ackermann.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
src/proof/lfsc/lfsc_printer.cpp diff | blob | history
src/smt/print_benchmark.cpp diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/theory/quantifiers/equality_query.cpp diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers/fmf/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/fmf/full_model_check.cpp diff | blob | history
src/theory/quantifiers/fmf/model_engine.cpp diff | blob | history
src/theory/quantifiers/quant_bound_inference.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/term_util.cpp diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sort_inference.cpp diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model_builder.cpp diff | blob | history
src/theory/uf/cardinality_extension.cpp diff | blob | history
src/theory/uf/theory_uf_type_rules.cpp diff | blob | history
src/util/uninterpreted_sort_value.cpp diff | blob | history
test/unit/node/node_manager_black.cpp diff | blob | history