CNF.hpp File Reference

#include <cstdint>
#include <iostream>
#include <mutable/mutable-config.hpp>
#include <mutable/parse/AST.hpp>
#include <vector>

Include dependency graph for CNF.hpp:

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

Go to the source code of this file.

Data Structures
struct	m::cnf::Predicate
	A Predicate contains a Expr of Boolean type in either positive or negative form. More...
struct	m::cnf::Clause
	A cnf::Clause represents a disjunction of Predicates. More...
struct	m::cnf::CNF
	A CNF represents a conjunction of cnf::Clauses. More...
struct	std::hash< m::cnf::Predicate >

Namespaces
namespace	m
	‍mutable namespace
namespace	m::cnf
namespace	std
	STL namespace.

Functions
Clause M_EXPORT	m::cnf::operator|| (const Clause &lhs, const Clause &rhs)
	Returns the logical or of two cnf::Clauses, i.e. the disjunction of the Predicates of lhs and rhs.
CNF M_EXPORT	m::cnf::operator&& (const Clause &lhs, const Clause &rhs)
	Returns the logical and of two cnf::Clauses, i.e. a CNF with the two cnf::Clauses lhs and rhs.
CNF M_EXPORT	m::cnf::operator&& (const CNF &lhs, const CNF &rhs)
	Returns the logical and of two CNFs, i.e. the conjunction of the cnf::Clauses of lhs and rhs.
CNF M_EXPORT	m::cnf::operator|| (const CNF &lhs, const CNF &rhs)
	Returns the logical or of two CNFs.
CNF M_EXPORT	m::cnf::operator! (const Clause &clause)
	Returns the logical negation of a cnf::Clause.
CNF M_EXPORT	m::cnf::operator! (const CNF &cnf)
	Returns the logical negation of a CNF.
CNF M_EXPORT	m::cnf::to_CNF (const ast::Expr &e)
	Converts the Boolean Expr e to a CNF.
CNF M_EXPORT	m::cnf::get_CNF (const ast::Clause &c)
	Converts the Boolean Expr of c to a CNF.