概述

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)
let
  c = a = b;
tel

<> 不等运算

使用样例

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

< 小于运算

使用样例

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

> 大于运算

使用样例

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

<= 小于等于运算

使用样例

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

>= 大于等于运算

使用样例

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