m::cnf::Clause Struct Reference

A cnf::Clause represents a disjunction of Predicates. More...

#include <CNF.hpp>

Inheritance diagram for m::cnf::Clause:

Collaboration diagram for m::cnf::Clause:

Public Member Functions
bool	operator<= (const Clause &other) const
bool	operator>= (const Clause &other) const
bool	operator== (const Clause &other) const
bool	operator!= (const Clause &other) const
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::Clause formula is an equi-predicate, i.e.
bool	can_be_null () const
	Returns true iff this cnf::Clause formula is nullable, i.e.
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
std::ostream &M_EXPORT	operator<< (std::ostream &out, const Clause &clause)
	Print a textual representation of clause to out.
M_EXPORT std::string	to_string (const Clause &clause)

Detailed Description

A cnf::Clause represents a disjunction of Predicates.

Definition at line 86 of file CNF.hpp.

Member Function Documentation

can_be_null()

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

inline

Returns true iff this cnf::Clause formula is nullable, i.e.

may evaluate to NULL at runtime.

Definition at line 111 of file CNF.hpp.

dump() [1/2]

void cnf::Clause::dump

(

)

const

Definition at line 192 of file CNF.cpp.

dump() [2/2]

void cnf::Clause::dump

(

std::ostream &

out

)

const

Definition at line 188 of file CNF.cpp.

get_required()

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

inline

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

Definition at line 96 of file CNF.hpp.

is_equi()

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

inline

Returns true iff this cnf::Clause formula is an equi-predicate, i.e.

a single equality comparison of two designators.

Definition at line 105 of file CNF.hpp.

operator!=()

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

inline

Definition at line 93 of file CNF.hpp.

operator<=()

bool cnf::Clause::operator<=

(

const Clause &

other

)

const

Definition at line 18 of file CNF.cpp.

References m::contains().

operator==()

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

inline

Definition at line 92 of file CNF.hpp.

References and().

operator>=()

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

inline

Definition at line 91 of file CNF.hpp.

to_sql()

void cnf::Clause::to_sql

(

std::ostream &

out

)

const

Print as SQL expression.

Definition at line 107 of file CNF.cpp.

Friends And Related Function Documentation

operator<<

std::ostream &M_EXPORT operator<< ( std::ostream &  out, const Clause &  clause  )

friend

Print a textual representation of clause to out.

to_string

M_EXPORT std::string to_string ( const Clause &  clause )

friend

Definition at line 122 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