石橋鋪網(wǎng)站建設(shè)公司seo推廣怎么樣
Lustre v6 中的 Lustre Core 部分支持的表達(dá)式種類(lèi)中,支持布爾表達(dá)式。相關(guān)的表達(dá)式包括and
, or
, xor
, not
, #
, nor
。
相應(yīng)的文法定義為
Expression ::= not Expression| Expression and Expression| Expression or Expression | Expression xor Expression | # (ExpressionList) | nor (ExpressionList)
and
與運(yùn)算
and
運(yùn)算符表示與運(yùn)算,使用樣例如下
function andExpr(a,b: bool) returns (c: bool)
letc = a and b;
tel
or
或運(yùn)算
or
運(yùn)算符表示或運(yùn)算,使用樣例如下
function orExpr(a,b: bool) returns (c: bool)
letc = a or b;
tel
xor
異或運(yùn)算
xor
運(yùn)算符表示異或運(yùn)算,使用樣例如下
function xorExpr(a, b: bool) returns (c: bool)
letc = a xor b;
tel
not
取反運(yùn)算
not
運(yùn)算符表示取反運(yùn)算,使用樣例如下
function notExpr (i: bool) returns (o: bool)
leto = not i;
tel
#
sharp 運(yùn)算
#
運(yùn)算符的輸入為布爾變量列表,列表中至多有一項(xiàng)true 時(shí),表達(dá)式輸出為 true,反之為 false。
function sharp(i1,i2,i3: bool) returns (o: bool)
leto = #(i1, i2, i3);
tel
nor
運(yùn)算
nor
運(yùn)算符的輸入為布爾變量列表,列表中無(wú) true 時(shí),表達(dá)式輸出為 true,反之為 false。
function norExpr(a,b,c: bool) returns (o: bool)
leto = nor (a,b,c);
tel