// With BoolWeight, ((A AND_NOT B) OR C) AND D returns a document that has
// A, B and D, which the AND_NOT should exclude.
//
// Build: c++ andnot-boolweight.cc $(xapian-config --cxxflags --libs)
// Run:   ./a.out
//
// Xapian 2.1.0 prints "1 matches (expected 0)"; 1.4 prints "0 matches".
#include <xapian.h>
#include <iostream>

int main() {
    Xapian::WritableDatabase db("/tmp/andnot-db", Xapian::DB_CREATE_OR_OVERWRITE);
    Xapian::Document doc1;
    doc1.add_term("A");
    doc1.add_term("B");
    doc1.add_term("D");
    db.add_document(doc1);
    Xapian::Document doc2;
    doc2.add_term("C");
    db.add_document(doc2);
    db.commit();

    Xapian::Query q = ((Xapian::Query("A") &~ Xapian::Query("B")) |
                       Xapian::Query("C")) & Xapian::Query("D");
    Xapian::Enquire enq(db);
    enq.set_weighting_scheme(Xapian::BoolWeight());
    enq.set_query(q);
    std::cout << "Xapian " << Xapian::version_string() << ": "
              << enq.get_mset(0, 10).size() << " matches (expected 0)\n";
}