Examples with LTLNode de.bmoth.parser.ast.nodes.ltl.LTLNode used on opensource projects

Example 31 with LTLNode

use of de.bmoth.parser.ast.nodes.ltl.LTLNode in project bmoth by hhu-stups.

the class LTLBuechiTest method testGraphConstructionNotGloballyNextUntil.

@Test
public void testGraphConstructionNotGloballyNextUntil() throws ParserException {
    String formula = "not G ( X ({3=4} U {2=3}) )";
    LTLFormula ltlFormula = Parser.getLTLFormulaAsSemanticAst(formula);
    LTLNode node = LTLTransformations.transformLTLNode(ltlFormula.getLTLNode());
    BuechiAutomaton buechiAutomaton = new BuechiAutomaton(node);
    assertEquals(5, buechiAutomaton.getFinalNodeSet().size());
    logger.log(Level.INFO, buechiAutomaton::toString);
}