ForwardHyperGraph.h File Reference

#include <fstream>
#include <iostream>
#include <map>
#include <vector>
#include "ForwardHyperGraph.tpp"

Include dependency graph for ForwardHyperGraph.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >
	This class implements a forward hypergraph. More...
struct	smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge
	Internal type of an edge. More...
struct	smtrat::CycleEnumerator< FHG, Collector >
	This class encapsulates an algorithm for enumerating all cycles. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.