Package net.automatalib.modelchecker.m3c.formula.parser
-
Class Summary Class Description M3CParser This class can be used to parse formulas in CTL and the mu-calculus.
| Class | Description |
|---|---|
| M3CParser |
This class can be used to parse formulas in CTL and the mu-calculus.
|