概述

Lustre v6 中的 Lustre Core 部分支持的表达式种类中，支持比较表达式。相关的表达式包括 =, <>, <, >, <=, >=。

相应的文法定义为

Expression ::= Expression = Expression | Expression <> Expression | Expression < Expression | Expression <= Expression | Expression > Expression | Expression >= Expression

= 相等运算

使用样例

function equal(a,b: int) returns (c: bool)
letc = a = b;
tel

<> 不等运算

使用样例

function different(a,b: int) returns (c: bool)
letc = a <> b;
tel

< 小于运算

使用样例

function lessThan(a,b: int) returns (c: bool)
letc = a < b;
tel

> 大于运算

使用样例

function gt(a,b: int) returns (c: bool)
letc = a > b;
tel

<= 小于等于运算

使用样例

function lt_or_eq(a,b: int) returns (c: bool)
letc = a <= b;
tel

>= 大于等于运算

使用样例

function gt_or_eq(a,b: int) returns (c: bool)
letc = a >= b;
tel