kanzi::windowing Namespace Reference

Classes
struct	Position
	Signed window position. More...
struct	PositionF
	Real window position. More...
struct	PositionU
	Unsigned window position. More...
struct	Region
	Region for signed and unsigned size representations. More...
struct	Size
	Signed window size. More...
struct	SizeU
	Unsigned window size. More...

Functions
KZ_NO_DISCARD bool constexpr	ifAndOnlyIf (bool p, bool q) noexcept
	Predicate for equivalence.
KZ_NO_DISCARD bool constexpr	implies (bool p, bool q) noexcept
	Predicate for implication.
template<typename Q >
KZ_NO_DISCARD bool	implies (bool p, Q &&q) noexcept
	Predicate for implication.

Function Documentation

implies() [1/2]

KZ_NO_DISCARD bool constexpr kanzi::windowing::implies ( bool p, bool q )

inlineconstexprnoexcept

Predicate for implication.

Parameters

p	The antecedent.
q	The consequent.

Returns

True if p implies q, false otherwise.

implies() [2/2]

template<typename Q >

KZ_NO_DISCARD bool kanzi::windowing::implies ( bool p, Q && q )

inlinenoexcept

Predicate for implication.

Parameters

p	The antecedent.
q	The consequent predicate. Invoked only if p is true.

Returns

True if p implies q, false otherwise.

ifAndOnlyIf()

KZ_NO_DISCARD bool constexpr kanzi::windowing::ifAndOnlyIf ( bool p, bool q )

inlineconstexprnoexcept

Predicate for equivalence.

Parameters

p	The first proposition.
q	The second proposition.

Returns

True if p is equivalent to q, false otherwise.