TwoSAT.h File Reference

A simple solver for 2-SAT instances. More...

#include <ogdf/basic/Graph.h>
#include <ogdf/basic/GraphList.h>
#include <ogdf/basic/basic.h>
#include <ogdf/basic/simple_graph_alg.h>
#include <utility>
#include <vector>

Go to the source code of this file.

Classes
class	ogdf::TwoSAT
	A simple solver for TwoSAT instances, representing the instance as implication graph and solving it via its strongly-connected components. More...
class	ogdf::twosat_var
	In debug mode, twosat_var is a class instead of a simple int to prevent unintened use of the default 0-value instead of TwoSAT_Var_Undefined. More...

Namespaces
namespace	ogdf
	The namespace for all OGDF objects.

Functions
const twosat_var	ogdf::TwoSAT_Var_Undefined (-1)

Detailed Description

A simple solver for 2-SAT instances.

Author

Simon D. Fink ogdf@.nosp@m.niko.nosp@m..fink.nosp@m..bay.nosp@m.ern

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 TwoSAT.h.