Parser Module
This module implements functions for parsing propositional logic and temporal logic formulas by simplifying the functions provided in Averest.
Types
| Type | Description |
|
Functions and values
| Function or value | Description |
|
This function parses a propositional logic formula as specified in Quartz, where in addition to the boolean operators also quantification over boolean variables and next operators are allowed (for transition relations).
|
|
This function parses a specification logic formula as specified in Quartz.
|
|
parse a Quartz type from string
|