clang 17.0.0git
Classes | Namespaces | Functions
ThreadSafetyLogical.h File Reference
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"

Go to the source code of this file.

Classes

class  clang::threadSafety::lexpr::LExpr
 
class  clang::threadSafety::lexpr::Terminal
 
class  clang::threadSafety::lexpr::BinOp
 
class  clang::threadSafety::lexpr::And
 
class  clang::threadSafety::lexpr::Or
 
class  clang::threadSafety::lexpr::Not
 

Namespaces

namespace  clang
 
namespace  clang::threadSafety
 
namespace  clang::threadSafety::lexpr
 

Functions

bool clang::threadSafety::lexpr::implies (const LExpr *LHS, const LExpr *RHS)
 Logical implication.