ASAtomicFormulaOps.mesa
Last Edited by: Arnon, 10, 1985 4:19:22 pm PDT
Legal values for atomic formula relations and polynomial signs.
ASAtomicFormulaOps:
CEDAR
DEFINITIONS
=
BEGIN
Types
Operator:
TYPE = {less, lessEqual, greater, greaterEqual, equal, notEqual, dontCare};
Extends Basics
.Comparison
.
An atomic formula with relation "dontCare"
is identically true.
END.