Clause.hpp File Reference

Contains the class Clause that consists of one or more literals. More...

#include <vector>
#include <ostream>
#include "util/concepts.hpp"
#include "basic_structures.hpp"

Include dependency graph for Clause.hpp:

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

Go to the source code of this file.

Classes
class	sat::Clause
	Clause class with watch literals. More...

Namespaces
namespace	sat

Concepts
concept	sat::clause_like

Detailed Description

Contains the class Clause that consists of one or more literals.

Author

Tim Luchterhand

Date

26.11.24