clang: clang::dataflow::Formula Class Reference (original) (raw)

#include "[clang/Analysis/FlowSensitive/Formula.h](Formula%5F8h%5Fsource.html)"

Public Member Functions
Kind kind () const
Atom getAtom () const
bool literal () const
bool isLiteral (bool b) const
ArrayRef< const Formula * > operands () const
void print (llvm::raw_ostream &OS, const AtomNames *=nullptr) const

Definition at line 49 of file Formula.h.

◆ AtomNames

◆ Kind

Enumerator
AtomRef A reference to an atomic boolean variable. We name these e.g. "V3", where 3 == atom identity == Value.
Literal Constant true or false.
Not
And True if its only operand is false.
Or True if LHS and RHS are both true.
Implies True if either LHS or RHS is true.
Equal True if LHS is false or RHS is true.

Definition at line 51 of file Formula.h.

◆ create()

◆ getAtom()

Atom clang::dataflow::Formula::getAtom ( ) const inline

◆ isLiteral()

bool clang::dataflow::Formula::isLiteral ( bool b) const inline

◆ kind()

Kind clang::dataflow::Formula::kind ( ) const inline

Definition at line 66 of file Formula.h.

Referenced by clang::dataflow::AtomicBoolValue::AtomicBoolValue(), clang::dataflow::buildCNF(), clang::dataflow::FormulaBoolValue::FormulaBoolValue(), getAtom(), isLiteral(), literal(), clang::dataflow::Arena::makeAnd(), clang::dataflow::Arena::makeBoolValue(), clang::dataflow::Arena::makeEquals(), clang::dataflow::Arena::makeImplies(), clang::dataflow::Arena::makeNot(), clang::dataflow::Arena::makeOr(), operands(), print(), clang::dataflow::simplifyConstraints(), clang::dataflow::substitute(), and clang::dataflow::TopBoolValue::TopBoolValue().

◆ literal()

bool clang::dataflow::Formula::literal ( ) const inline

◆ operands()

ArrayRef< const Formula * > clang::dataflow::Formula::operands ( ) const inline

◆ print()

void clang::dataflow::Formula::print ( llvm::raw_ostream & OS,
const AtomNames * Names = nullptr
) const

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