Bools.mesa
Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT
Two-valued logic. Record that the structure Bools is a Boolean Algebra.
DIRECTORY
Rope,
Basics,
IO,
AlgebraClasses;
Bools: CEDAR DEFINITIONS
= BEGIN OPEN AC: AlgebraClasses;
Types and Variables
Bool: TYPE = AC.Object;
BoolData: TYPE = REF BOOL;
Bools: AC.Object;
True: AC.Object;
False: AC.Object;
I/O and Conversion
Read: AC.ReadOp;
FromRope: AC.FromRopeOp;
ToRope: AC.ToRopeOp;
Write: AC.WriteOp;
FromBOOL: AC.FromBOOLOp;
ToBOOL: PROC [bool: Bool] RETURNS [BOOL];
Arithmetic
Equal: AC.BinaryPredicate;
Disjunct: AC.BinaryOp;
Conjunct: AC.BinaryOp;
Negate: AC.UnaryOp;
Difference: AC.BinaryOp;
END.