Examples with PrologCtlGenerator de.be4.ltl.core.parser.internal.PrologCtlGenerator used on opensource projects

Example 1 with PrologCtlGenerator

use of de.be4.ltl.core.parser.internal.PrologCtlGenerator in project probparsers by bendisposto.

the class CtlParser method applyPrologGenerator.

@Override
protected void applyPrologGenerator(StructuredPrologOutput pto, String stateID, ProBParserBase specParser, Start ast) {
    final PrologCtlGenerator prologGenerator = new PrologCtlGenerator(pto, stateID, specParser);
    ast.apply(prologGenerator);
}