Examples with PrologTerm de.prob.prolog.term.PrologTerm used on opensource projects

Example 61 with PrologTerm

use of de.prob.prolog.term.PrologTerm in project probparsers by bendisposto.

the class PrologGeneratorTest method testFinally.

@Test
public void testFinally() throws Exception {
    final PrologTerm expected = new CompoundPrologTerm("finally", TERM_TRUE);
    check(" F true ", expected);
}

Example 62 with PrologTerm

use of de.prob.prolog.term.PrologTerm in project probparsers by bendisposto.

the class PrologGeneratorTest method testUntil.

@Test
public void testUntil() throws Exception {
    final PrologTerm expected = new CompoundPrologTerm("until", TERM_FALSE, TERM_TRUE);
    check("false U      true ", expected);
}

Example 63 with PrologTerm

use of de.prob.prolog.term.PrologTerm in project probparsers by bendisposto.

the class PrologGeneratorTest method testGloballyFinallyAP.

@Test
public void testGloballyFinallyAP() throws Exception {
    final PrologTerm pred = new CompoundPrologTerm("blubb");
    final PrologTerm wrapped = new CompoundPrologTerm("dpred", pred);
    final PrologTerm ap = new CompoundPrologTerm("ap", wrapped);
    final PrologTerm fin = new CompoundPrologTerm("finally", ap);
    final PrologTerm expected = new CompoundPrologTerm("globally", fin);
    check("GF {blubb}", expected);
}

Example 64 with PrologTerm

use of de.prob.prolog.term.PrologTerm in project probparsers by bendisposto.

the class PrologGeneratorTest method testImplication.

@Test
public void testImplication() throws Exception {
    final PrologTerm expected = new CompoundPrologTerm("implies", TERM_FALSE, TERM_TRUE);
    check("false =>   true ", expected);
}

Example 65 with PrologTerm

use of de.prob.prolog.term.PrologTerm in project probparsers by bendisposto.

the class PrologGeneratorTest method testNext.

@Test
public void testNext() throws Exception {
    final PrologTerm expected = new CompoundPrologTerm("next", TERM_TRUE);
    check("X true ", expected);
}