clang::threadSafety::lexpr Namespace Reference

Classes
class	LExpr
class	Terminal
class	BinOp
class	And
class	Or
class	Not
Functions
bool	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.

---

Function Documentation

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 106 of file ThreadSafetyLogical.cpp.

References implies().