Skip to main content

Node GreaterThanOrEqual

rascal-0.40.17

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