Skip to main content

Node GreaterThanOrEqual

rascal-0.34.0

Synopsis

Greater than or equal operator on node values.

Syntax

Exp₁ >= Exp₂

Types

Exp₁Exp₂Exp₁ >= Exp₂
nodenodebool

Description

Comparison on nodes is defined by a lexicographic ordering. Node N = F(N₁, ..., Nₙ) is greater than or equal node N = G(M₁, ..., Mₘ) when:

  • N is equal to M, or
  • F is lexicographically greater than G, or F is equal to G and n > m.

Examples

rascal>"g"(3) >= "f"(10, "abc");
bool: true
rascal>"f"(10, "abc") >= "f"(10);
bool: true
rascal>"f"(10, "abc") >= "f"(10, "abc");
bool: true