Abstract base HL formula type constructor

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++.