Node GreaterThan
rascal-0.41.2
Synopsis
Greater than operator on node values.
Syntax
Exp₁ > Exp₂
Types
Exp₁ | Exp₂ | Exp₁ > Exp₂ |
|---|---|---|
node | node | bool |
Description
Comparison on nodes is defined by a lexicographic ordering. Node N = F(N₁, ..., Nₙ) is greater than node
N = G(M₁, ..., Mₘ) when:
- N is not equal to M, and
- 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