MACHINE     Bool_TYPE_Ops

SEES        Bool_TYPE

OPERATIONS

  bb <-- CNJ_BOOL(cc,dd) =
  PRE
    cc:BOOL &
    dd:BOOL
  THEN 
    bb:=bool((cc=TRUE) & (dd=TRUE))
  END;

  bb <-- DIS_BOOL(cc,dd) =
  PRE
    cc:BOOL &
    dd:BOOL
  THEN 
    bb:=bool((cc=TRUE) or (dd=TRUE))
  END;

  bb <-- NEG_BOOL(cc) =
  PRE
    cc:BOOL
  THEN
    bb:=bool(cc=FALSE)
  END;

  vv <-- BTS_BOOL(bb) =
  PRE
    bb:BOOL
  THEN
    IF bb=TRUE THEN
      vv:=1
    ELSE
      vv:=0
    END
  END

END

Analysed Constructs

On-line Help

---

Document Last Updated: Wed Aug 25 17:35:34 1999

B-Toolkit Beta 4.55

---