diff options
Diffstat (limited to 'src/theory/quantifiers/ematching/trigger.h')
-rw-r--r-- | src/theory/quantifiers/ematching/trigger.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers/ematching/trigger.h b/src/theory/quantifiers/ematching/trigger.h index cd10e4f8a..28d227bf7 100644 --- a/src/theory/quantifiers/ematching/trigger.h +++ b/src/theory/quantifiers/ematching/trigger.h @@ -315,8 +315,6 @@ class Trigger { static bool isRelationalTriggerKind( Kind k ); /** is n a simple trigger (see inst_match_generator.h)? */ static bool isSimpleTrigger( Node n ); - /** is n a Boolean term trigger, e.g. ite( x, BV1, BV0 )? */ - static bool isBooleanTermTrigger( Node n ); /** is n a pure theory trigger, e.g. head( x )? */ static bool isPureTheoryTrigger( Node n ); /** get trigger weight |