Biomedical Engineering Reference
In-Depth Information
) in a guard predicate is a function of
single argument, such that for any predicate with a negation operator (
Negation
(
¬
): The negation operator (
¬
¬
)ina
guard is translated as follows:
/
∗
In the
'
C
'
Language
∗
/
BOOL Sum
()
{
...
if (
!
(a < b))
{
.
EVENT Sum
...
WHEN
...
grd3
/
∗
In the Java language
∗
/
:¬
a<b
private boolean Sum
()
{
.
...
if (
!
(a < b))
{
.
⇒
⇔
Some more logical operators are like implication (
) and equivalence (
),
which can be easily rewritten using logical conjunction (
∧
), disjunction (
∨
) and
negation (
)
operators, the translator tool automatically rewrite a predicate in an equivalent
form using conjunction (
¬
) operators. For example, the implication (
⇒
) and equivalence (
⇔
) operators, an equal
relation may signify an assignment or equality comparison, and the precise mean-
ing (and hence the resulting translation) deduced from the type and scope of its
operands.
Implication
(
∧
), disjunction (
∨
) and negation (
¬
) in a guard predicate is a func-
tion of two arguments, such that for any predicate connected with an implication
operator (
⇒
): The implication operator (
⇒
⇒
) is translated as follows:
/
∗
In the
'
C
'
Language
∗
/
BOOL Sum
()
{
...
if (
!
(a < b)
||
(P
_
State
==
FA L S E ))
{
.
EVENT Sum
...
WHEN
...
grd3
:
a<b
⇒
P
_
State
=
FA L S E
.
/
∗
∗
/
In the Java language
private boolean Sum
()
{
...
if (
!
(a < b)
||
(P
_
State
==
FA L S E ))
{
.
Search WWH ::
Custom Search