m::cnf::CNF Struct Reference

A CNF represents a conjunction of cnf::Clauses. More...

#include <CNF.hpp>

Inheritance diagram for m::cnf::CNF:

Collaboration diagram for m::cnf::CNF:

Public Member Functions
Schema	get_required () const
	Returns a Schema instance containing all required definitions (of Attributes and other Designators).
bool	is_equi () const
	Returns true iff this CNF formula is an equi-predicate, i.e.
bool	can_be_null () const
	Returns true iff this CNF formula is nullable, i.e.
bool	operator<= (const CNF &other) const
bool	operator>= (const CNF &other) const
bool	operator== (const CNF &other) const
bool	operator!= (const CNF &other) const
void	to_sql (std::ostream &out) const
	Print as SQL expression.
void	dump (std::ostream &out) const
void	dump () const

Data Fields
T	elements
	STL member.

Friends
M_EXPORT std::ostream &	operator<< (std::ostream &out, const CNF &cnf)
	Print a textual representation of cnf to out.
M_EXPORT std::string	to_string (const CNF &cnf)

Detailed Description

A CNF represents a conjunction of cnf::Clauses.

Definition at line 133 of file CNF.hpp.

Member Function Documentation

can_be_null()

bool m::cnf::CNF::can_be_null ( ) const

inline

Returns true iff this CNF formula is nullable, i.e.

may evaluate to NULL at runtime.

Definition at line 155 of file CNF.hpp.

Referenced by m::wasm::ExprCompiler::compile().

dump() [1/2]

void CNF::dump

(

)

const

Definition at line 198 of file CNF.cpp.

References dump().

Referenced by dump().

dump() [2/2]

void CNF::dump

(

std::ostream &

out

)

const

Definition at line 194 of file CNF.cpp.

get_required()

Schema m::cnf::CNF::get_required ( ) const

inline

Returns a Schema instance containing all required definitions (of Attributes and other Designators).

Definition at line 138 of file CNF.hpp.

Referenced by extract_index_scan_bounds().

is_equi()

bool m::cnf::CNF::is_equi ( ) const

inline

Returns true iff this CNF formula is an equi-predicate, i.e.

conjunction of equality comparisons of each two designators.

Definition at line 147 of file CNF.hpp.

operator!=()

bool m::cnf::CNF::operator!= ( const CNF &  other ) const

inline

Definition at line 164 of file CNF.hpp.

operator<=()

bool CNF::operator<=

(

const CNF &

other

)

const

Definition at line 27 of file CNF.cpp.

References m::contains().

operator==()

bool m::cnf::CNF::operator== ( const CNF &  other ) const

inline

Definition at line 163 of file CNF.hpp.

References and().

operator>=()

bool m::cnf::CNF::operator>= ( const CNF &  other ) const

inline

Definition at line 162 of file CNF.hpp.

to_sql()

void CNF::to_sql

(

std::ostream &

out

)

const

Print as SQL expression.

Definition at line 127 of file CNF.cpp.

Friends And Related Function Documentation

operator<<

M_EXPORT std::ostream & operator<< ( std::ostream &  out, const CNF &  cnf  )

friend

Print a textual representation of cnf to out.

to_string

M_EXPORT std::string to_string ( const CNF &  cnf )

friend

Definition at line 171 of file CNF.hpp.

Field Documentation

elements

T std::vector< T >::elements

inherited

STL member.

---

The documentation for this struct was generated from the following files:

• include/mutable/IR/CNF.hpp
• src/IR/CNF.cpp