QEDoc.tioga
Dennis Arnon, June 6, 1986 4:15:42 pm PDT
CEDAR 7.0 — FOR INTERNAL XEROX USE ONLY
Cedar Quantifier Elimination Software
Dennis Arnon
© Copyright 1986 Xerox Corporation. All rights reserved.
Abstract: .
Created by: Dennis Arnon
Maintained by: Dennis Arnon <Arnon.pa>
Keywords:
XEROX Xerox Corporation
Palo Alto Research Center
3333 Coyote Hill Road
Palo Alto, California 94304
For Internal Xerox Use Only
1. Introduction
General rule: all subfields of QE Objects should be Objects (e.g. use ASListStructure.List, and not LIST OF Object); this will facilitate offlining and onlining of these subfields.
Basic task for software: determine the different types of Objects to be manipulated; basically, each one is automatically offlined when created (but also left online).
In general, the software is able to guarantee that it only works with objects from the database for one qe problem at a time.