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.