clang::dataflow::CNFFormula::Iterator Class Reference

An iterator over all literals of all clauses in the formula. More...

#include "clang/Analysis/FlowSensitive/CNFFormula.h"

Public Member Functions
	Iterator (const Iterator &)=default
Iterator &	operator= (const Iterator &)=default
Iterator &	operator++ ()
Iterator	next () const
Literal &	operator* () const

Friends
class	CNFFormula

Detailed Description

An iterator over all literals of all clauses in the formula.

The iterator allows mutation of the literal through the * operator. This is to support solvers that mutate the formula during solving.

Definition at line 139 of file CNFFormula.h.

Constructor & Destructor Documentation

Iterator()

clang::dataflow::CNFFormula::Iterator::Iterator ( const Iterator & )

default

Member Function Documentation

next()

Iterator clang::dataflow::CNFFormula::Iterator::next ( ) const

inline

Definition at line 155 of file CNFFormula.h.

operator*()

Literal & clang::dataflow::CNFFormula::Iterator::operator* ( ) const

inline

Definition at line 161 of file CNFFormula.h.

operator++()

Iterator & clang::dataflow::CNFFormula::Iterator::operator++ ( )

inline

Definition at line 149 of file CNFFormula.h.

operator=()

Iterator & clang::dataflow::CNFFormula::Iterator::operator= ( const Iterator & )

default

Friends And Related Symbol Documentation

CNFFormula

friend class CNFFormula

friend

Definition at line 140 of file CNFFormula.h.

References CNFFormula.

Referenced by CNFFormula.

---

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

• include/clang/Analysis/FlowSensitive/CNFFormula.h