Examples with PLtl de.be4.ltl.core.parser.node.PLtl used on opensource projects

Example 6 with PLtl

use of de.be4.ltl.core.parser.node.PLtl in project probparsers by bendisposto.

the class PrologGeneratorHelper method ctrl.

public void ctrl(ACtrlLtl node, PrologGenerator gen) {
    LinkedList<PActions> list = node.getArgs();
    pto.openTerm("ap");
    pto.openTerm("ctrl");
    pto.openList();
    for (PActions pLtl : list) {
        pLtl.apply(gen);
    }
    pto.closeList();
    pto.closeTerm();
    pto.closeTerm();
}