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.

Exception Summary

Exception	Description
ParseException	This exception is thrown when parse errors are encountered.