conflict.h File Reference

Detailed Description

internal methods for conflict analysis

Author

Tobias Achterberg

Timo Berthold

Stefan Heinz

Marc Pfetsch

Michael Winkler

Jakob Witzig

Definition in file conflict.h.

#include "conflict_general.h"
#include "conflict_graphanalysis.h"
#include "conflict_dualproofanalysis.h"
#include "conflict_resolution.h"

Go to the source code of this file.