ConflictGraph.h File Reference

#include <smtrat-cad/lifting/Sample.h>
#include <iostream>
#include <vector>

Include dependency graph for ConflictGraph.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::cad::ConflictGraph
	Representation of a bipartite graph (C+S, E) of vertices C and S, representing the constraints and samples, respectively. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cad

Functions
std::ostream &	smtrat::cad::operator<< (std::ostream &os, const ConflictGraph &cg)

Detailed Description

Author

Gereon Kremer gereo.nosp@m.n.kr.nosp@m.emer@.nosp@m.cs.r.nosp@m.wth-a.nosp@m.ache.nosp@m.n.de

Definition in file ConflictGraph.h.