Implies

This is a Language topic about Oxygene
 

Language Topics Introduction | Structured Overview | Grammar | Keywords | Functions

Logical Implication (implies) is a simple binary logic operator that takes a boolean on both sides.

a implies b translates to iif(a, b, true), except that it is boolean short-circuited, so when a is false, the result is true (and b will never be evaluated). Equivalent to not a or b.

Syntax for this operator is:

var
  c: Boolean := a implies b;