clang::threadSafety::lexpr Namespace Reference

Classes
class	And
class	BinOp
class	LExpr
class	Not
class	Or
class	Terminal

Functions
bool	implies (const LExpr *LHS, const LExpr *RHS)
	Logical implication.

Function Documentation

implies()

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.

Definition at line 105 of file ThreadSafetyLogical.cpp.

Referenced by clang::threadSafety::lexpr::LExpr::implies(), and implies().