backends/flint/flint_modifiedpostlist.cc File Reference

A FlintPostList plus pending modifications. More...

#include <config.h>
#include "flint_modifiedpostlist.h"
#include "debuglog.h"
#include "flint_database.h"

Include dependency graph for flint_modifiedpostlist.cc:

Go to the source code of this file.

---

Detailed Description

A FlintPostList plus pending modifications.

Definition in file flint_modifiedpostlist.cc.