FormulaOperators.mesa
Last Edited by: Arnon, 10, 1985 4:19:22 pm PDT
DIRECTORY
Rope,
Basics,
IO
,
AlgebraClasses,
Points;
FormulaOperators:
CEDAR
DEFINITIONS
=
BEGIN
OPEN
AC
: AlgebraClasses,
PTS
: Points;
Types and Variables
Operator:
TYPE
=
AC
.Object;
OperatorData:
TYPE
=
REF
Op;
Op:
TYPE
= {and, or, not, lt, le, gt, ge, eq, ne, dc};
dc = don't care; an atomic formula with dc relation is identically true. External representation of dc is "*".
Operators:
AC
.Structure;
I/O and Conversion
Read
:
AC
.ReadOp;
FromRope
:
AC
.FromRopeOp;
ToRope
:
AC
.ToRopeOp;
Write
:
AC
.WriteOp;
END
.