dlvhex  2.5.0
vs10/bm/bmfwd.h File Reference
#include "bmconst.h"
Include dependency graph for bmfwd.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  bm

Typedefs

typedef bm::bvmini
< bm::set_total_blocks
bm::standard_miniset