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

Example 1 with PActions

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

the class PrologGeneratorHelper method det.

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

Example 2 with PActions

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

the class PrologGeneratorHelper method dlk.

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

Example 3 with PActions

use of de.be4.ltl.core.parser.node.PActions 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();
}