Kanzi 3.9.10
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
pThe antecedent.
qThe 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
pThe antecedent.
qThe 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
pThe first proposition.
qThe second proposition.
Returns
True if p is equivalent to q, false otherwise.