diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-30 09:11:52 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-30 09:11:52 -0500 |
| commit | 100037d531ff1fd30ed3dd5bed91076c383ad55c (patch) | |
| tree | f31d60fd4a902efa45e2db109632c607aee5c575 /src/theory/quantifiers/trigger.h | |
| parent | fa5df1aad69f8ad62686b9418070a1baf74b4a77 (diff) | |
Minor fixes for trigger selection max.
Diffstat (limited to 'src/theory/quantifiers/trigger.h')
| -rw-r--r-- | src/theory/quantifiers/trigger.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/trigger.h b/src/theory/quantifiers/trigger.h index 631627331..9ff82595f 100644 --- a/src/theory/quantifiers/trigger.h +++ b/src/theory/quantifiers/trigger.h @@ -142,7 +142,7 @@ private: static Node getIsUsableEq( Node q, Node eq ); static bool isUsableEqTerms( Node q, Node n1, Node n2 ); /** collect all APPLY_UF pattern terms for f in n */ - static bool collectPatTerms2( Node q, Node n, std::map< Node, Node >& visited, std::map< Node, TriggerTermInfo >& tinfo, + static void collectPatTerms2( Node q, Node n, std::map< Node, Node >& visited, std::map< Node, TriggerTermInfo >& tinfo, quantifiers::TriggerSelMode tstrt, std::vector< Node >& exclude, std::vector< Node >& added, bool pol, bool hasPol, bool epol, bool hasEPol ); |