diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-28 09:13:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-28 09:13:13 -0500 |
commit | 34e84a25a044e3af192bb69089467c2125911900 (patch) | |
tree | 924a3ae0894bfec136f91949a1bf55e19c4125da /src/theory/theory.h | |
parent | 675e82e32a34911163f9de0e6389eb107be5b0f1 (diff) |
Document term db (#1220)
* Document TermDb and related classes. Minor changes to quantifiers utils and their interface. Address some comments left over from PR 1206.
* Minor
* Minor
* Change namespace style.
* Address review
* Fix incorrectly merged portion that led to regression failures.
* New clang format, fully document relevant domain.
* Clang format again.
* Minor
Diffstat (limited to 'src/theory/theory.h')
-rw-r--r-- | src/theory/theory.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index 1a72944ff..d9e89902c 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -523,11 +523,10 @@ public: /** if theories want to do something with model after building, do it here */ virtual void postProcessModel( TheoryModel* m ){ } - /** * Return a decision request, if the theory has one, or the NULL node * otherwise. - * If returning non-null node, hould set priority to + * If returning non-null node, should set priority to * 0 if decision is necessary for model-soundness, * 1 if decision is necessary for completeness, * >1 otherwise. |