public class CtlParser extends TemporalLogicParser<Start>
specParser
Constructor and Description |
---|
CtlParser(de.prob.parserbase.ProBParserBase specParser) |
Modifier and Type | Method and Description |
---|---|
protected void |
applyPrologGenerator(de.prob.prolog.output.StructuredPrologOutput pto,
java.lang.String stateID,
de.prob.parserbase.ProBParserBase specParser,
Start ast) |
protected Start |
parseFormula(java.lang.String formula) |
generatePrologTerm
protected Start parseFormula(java.lang.String formula) throws LtlParseException, java.io.IOException
parseFormula
in class TemporalLogicParser<Start>
LtlParseException
java.io.IOException
protected void applyPrologGenerator(de.prob.prolog.output.StructuredPrologOutput pto, java.lang.String stateID, de.prob.parserbase.ProBParserBase specParser, Start ast)
applyPrologGenerator
in class TemporalLogicParser<Start>