Abstract base HL formula type constructor
- Parameters:
- - model the Kripke structure of the formula
- Returns:
- a new HL formula partially instantiated
@remarks this constructor cannot be directly invoked
Alphabetic index
This page was generated with the help of DOC++.