Overview   Package  Class  Use  Tree  Index  Help 
Trull
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package edu.luc.cs.trull.demo.tl

Demonstrates the use of Temporal Logic assertions in Trull.

See:
          Description

Class Summary
Main A demonstration of how to use Assert.
 

Package edu.luc.cs.trull.demo.tl Description

Demonstrates the use of Temporal Logic assertions in Trull.

Overview   Package  Class  Use  Tree  Index  Help 
Trull
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    
http://www.cs.luc.edu/trull/