WeighExpr Struct Reference

Collaboration diagram for WeighExpr:

Public Member Functions
	operator unsigned () const
void	operator() (const cnf::CNF &cnf)
void	operator() (const cnf::Clause &clause)
void	operator() (const ast::Expr &e)

Private Attributes
unsigned	weight_ = 0

Detailed Description

Definition at line 21 of file Optimizer.cpp.

Member Function Documentation

operator unsigned()

WeighExpr::operator unsigned ( ) const

inline

Definition at line 27 of file Optimizer.cpp.

References weight_.

operator()() [1/3]

void WeighExpr::operator() ( const ast::Expr &  e )

inline

Definition at line 39 of file Optimizer.cpp.

References M_unreachable, m::ast::Expr::type(), m::visit(), and weight_.

operator()() [2/3]

void WeighExpr::operator() ( const cnf::Clause &  clause )

inline

Definition at line 34 of file Optimizer.cpp.

operator()() [3/3]

void WeighExpr::operator() ( const cnf::CNF &  cnf )

inline

Definition at line 29 of file Optimizer.cpp.

Field Documentation

weight_

unsigned WeighExpr::weight_ = 0

private

Definition at line 24 of file Optimizer.cpp.

Referenced by operator unsigned(), and operator()().

---

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

• src/IR/Optimizer.cpp