Theory VT-EXAMPLE

• Last modified: Wednesday, 3 November 1993
• Source code: vt-example.lisp
• List of other known theories

Theory documentation:

An theory for demonstrating how to specify a design task. It uses the VT-domain domain theory.

Cross Reference Report:

Theories included by Vt-Example:

  Vt-Domain

No theories include Vt-Example.

1 class defined:

    Example-Elevator-To-Design

No relations defined.

No functions defined.

No instances defined.

The following constants were used from included theories:

• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Elevator defined as a class in theory Vt-Domain
• Has-Constraint defined as a relation in theory Components-With-Constraints
• Subclass-Of defined as a relation in theory Frame-Ontology
• The-Constraint defined as a function in theory Parametric-Constraints
• Valid-Component defined as a class in theory Components-With-Constraints

All constants that were mentioned were defined.