public class LtlParser extends TemporalLogicParser<Start>
specParser| Constructor and Description |
|---|
LtlParser(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) |
generatePrologTermprotected Start parseFormula(java.lang.String formula) throws LtlParseException, java.io.IOException
parseFormula in class TemporalLogicParser<Start>LtlParseExceptionjava.io.IOExceptionprotected void applyPrologGenerator(de.prob.prolog.output.StructuredPrologOutput pto,
java.lang.String stateID,
de.prob.parserbase.ProBParserBase specParser,
Start ast)
applyPrologGenerator in class TemporalLogicParser<Start>