From 089d232454e89dc44a6ca2136f9b408c9335d8f1 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Fri, 10 Oct 2014 23:27:39 +0200 Subject: Initial draft of CEGQI. --- src/theory/quantifiers/quant_conflict_find.h | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/theory/quantifiers/quant_conflict_find.h') diff --git a/src/theory/quantifiers/quant_conflict_find.h b/src/theory/quantifiers/quant_conflict_find.h index d8f1c8e6f..81f31fa90 100755 --- a/src/theory/quantifiers/quant_conflict_find.h +++ b/src/theory/quantifiers/quant_conflict_find.h @@ -187,11 +187,6 @@ private: NodeList d_qassert; std::map< Node, QuantInfo > d_qinfo; private: //for equivalence classes - eq::EqualityEngine * getEqualityEngine(); - bool areDisequal( Node n1, Node n2 ); - bool areEqual( Node n1, Node n2 ); - Node getRepresentative( Node n ); - TermDb* getTermDatabase(); // type -> list(eqc) std::map< TypeNode, std::vector< TNode > > d_eqcs; std::map< TypeNode, Node > d_model_basis; -- cgit v1.2.3