ThreadSafetyLogical.h File Reference

#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"

Include dependency graph for ThreadSafetyLogical.h:

This graph shows which files directly or indirectly include this file:

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. Returns true if LHS implies RHS, i.e. if LHS holds, then RHS must hold. For example, (A & B) implies A.