[Top]
Examples of I-X Plans
- A simple plan contraining
a single top-level activity with three sequential subactivities,
to show how ordering constraints for subactivities are written.
- A plan
generated by a simple Java program,
PlanBuilderTest.java.
- A plan
generated by O-Plan
for task build_house in house-4.tf.
Jeff Dalton <J.Dalton@ed.ac.uk>