UpSAT.h File Reference

Declaration of class UpSAT, which implements the upward-planarity testing formulations based on satisfiability (Chimani, Zeranski, 2012+) More...

#include <ogdf/basic/Graph.h>
#include <ogdf/basic/Graph_d.h>
#include <ogdf/basic/HashArray.h>
#include <ogdf/basic/List.h>
#include <ogdf/basic/simple_graph_alg.h>
#include <ogdf/external/Minisat.h>
#include <ogdf/planarity/BoyerMyrvold.h>
#include <vector>

Go to the source code of this file.

Classes
class	ogdf::UpSAT

Namespaces
namespace	ogdf
	The namespace for all OGDF objects.

Detailed Description

Declaration of class UpSAT, which implements the upward-planarity testing formulations based on satisfiability (Chimani, Zeranski, 2012+)

Author

Robert Zeranski

License:

This file is part of the Open Graph Drawing Framework (OGDF).

Copyright (C)
See README.md in the OGDF root directory for details.

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License Version 2 or 3 as published by the Free Software Foundation; see the file LICENSE.txt included in the packaging of this file for details.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, see http://www.gnu.org/copyleft/gpl.html

Definition in file UpSAT.h.