OperatorRelationsTable Class Reference

Public Types
enum	TriStateKind { False = 0 , True , Unknown }

Public Member Functions
constexpr size_t	getCmpOpCount () const
TriStateKind	getCmpOpState (BinaryOperatorKind CurrentOP, BinaryOperatorKind QueriedOP) const
TriStateKind	getCmpOpStateForUnknownX2 (BinaryOperatorKind CurrentOP) const

Static Public Member Functions
static BinaryOperatorKind	getOpFromIndex (size_t Index)

Detailed Description

Definition at line 36 of file RangeConstraintManager.cpp.

Member Enumeration Documentation

TriStateKind

enum OperatorRelationsTable::TriStateKind

Enumerator
False
True
Unknown

Definition at line 42 of file RangeConstraintManager.cpp.

Member Function Documentation

getCmpOpCount()

constexpr size_t OperatorRelationsTable::getCmpOpCount ( ) const

inlineconstexpr

Definition at line 92 of file RangeConstraintManager.cpp.

getCmpOpState()

TriStateKind OperatorRelationsTable::getCmpOpState ( BinaryOperatorKind  CurrentOP, BinaryOperatorKind  QueriedOP  ) const

inline

Definition at line 98 of file RangeConstraintManager.cpp.

getCmpOpStateForUnknownX2()

TriStateKind OperatorRelationsTable::getCmpOpStateForUnknownX2 ( BinaryOperatorKind  CurrentOP ) const

inline

Definition at line 103 of file RangeConstraintManager.cpp.

getOpFromIndex()

static BinaryOperatorKind OperatorRelationsTable::getOpFromIndex ( size_t  Index )

inlinestatic

Definition at line 94 of file RangeConstraintManager.cpp.

---

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

• lib/StaticAnalyzer/Core/RangeConstraintManager.cpp