projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2958e98) | patch
Rename getAntecedent to getPremises (#5754)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 8 Jan 2021 17:07:32 +0000 (11:07 -0600)
committerGitHub <noreply@github.com>
Fri, 8 Jan 2021 17:07:32 +0000 (11:07 -0600)
commita7d214409def441dcf072dd483f31823fd2620ed
tree6d3deba5bec13f6d25ace9c3e4bda9600e045401tree
parent2958e98eff88ce14aefcdeee3c6ec579fcc2bb1dcommit | diff
Rename getAntecedent to getPremises (#5754)

Changes:

renamed d_new_skolem to d_newSkolem
renamed d_ant to d_premises (antecedent is usually used with consequent, and premise is used with conclusion)
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/infer_info.cpp diff | blob | history
src/theory/strings/infer_info.h diff | blob | history
src/theory/strings/infer_proof_cons.cpp diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history