CNFGenerator Struct Reference

Helper class to convert Expr and Clause to cnf::CNF. More...

Inheritance diagram for CNFGenerator:

Collaboration diagram for CNFGenerator:

Public Member Functions
	CNFGenerator ()
CNF	get () const
void	operator() (Const< ErrorExpr > &e)
void	operator() (Const< Designator > &e)
void	operator() (Const< Constant > &e)
void	operator() (Const< FnApplicationExpr > &e)
void	operator() (Const< UnaryExpr > &e)
void	operator() (Const< BinaryExpr > &e)
void	operator() (Const< QueryExpr > &e)

Private Attributes
bool	is_negative_ = false
CNF	result_

Detailed Description

Helper class to convert Expr and Clause to cnf::CNF.

Definition at line 207 of file CNF.cpp.

Constructor & Destructor Documentation

CNFGenerator()

CNFGenerator::CNFGenerator ( )

inline

Definition at line 214 of file CNF.cpp.

Member Function Documentation

get()

CNF CNFGenerator::get ( ) const

inline

Definition at line 216 of file CNF.cpp.

Referenced by m::cnf::to_CNF().

operator()() [1/7]

void CNFGenerator::operator()

(

Const< BinaryExpr > &

e

)

Definition at line 264 of file CNF.cpp.

References m::and, m::cnf::Predicate::Create(), and M_unreachable.

operator()() [2/7]

void CNFGenerator::operator()

(

Const< Constant > &

e

)

Definition at line 238 of file CNF.cpp.

References m::cnf::Predicate::Create().

operator()() [3/7]

void CNFGenerator::operator()

(

Const< Designator > &

e

)

Definition at line 233 of file CNF.cpp.

References m::cnf::Predicate::Create().

operator()() [4/7]

void CNFGenerator::operator()

(

Const< ErrorExpr > &

e

)

Definition at line 228 of file CNF.cpp.

References m::cnf::Predicate::Create().

operator()() [5/7]

void CNFGenerator::operator()

(

Const< FnApplicationExpr > &

e

)

Definition at line 243 of file CNF.cpp.

References m::cnf::Predicate::Create().

operator()() [6/7]

void CNFGenerator::operator()

(

Const< QueryExpr > &

e

)

Definition at line 293 of file CNF.cpp.

References m::cnf::Predicate::Create().

operator()() [7/7]

void CNFGenerator::operator()

(

Const< UnaryExpr > &

e

)

Definition at line 248 of file CNF.cpp.

References m::cnf::Predicate::Create().

Field Documentation

is_negative_

bool CNFGenerator::is_negative_ = false

private

Definition at line 210 of file CNF.cpp.

result_

CNF CNFGenerator::result_

private

Definition at line 211 of file CNF.cpp.

---

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

• src/IR/CNF.cpp