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

Example 56 with CompoundPrologTerm

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

the class PrologGeneratorTest method testStrongFair_multiple.

@Test
public void testStrongFair_multiple() throws Exception {
    final PrologTerm transPred1 = new CompoundPrologTerm("bla");
    final PrologTerm wrapped1 = new CompoundPrologTerm("dtrans", transPred1);
    final PrologTerm sf1 = new CompoundPrologTerm("strong_fair", wrapped1);
    final PrologTerm ap1 = new CompoundPrologTerm("ap", sf1);
    final PrologTerm transPred2 = new CompoundPrologTerm("blubb");
    final PrologTerm wrapped2 = new CompoundPrologTerm("dtrans", transPred2);
    final PrologTerm sf2 = new CompoundPrologTerm("strong_fair", wrapped2);
    final PrologTerm ap2 = new CompoundPrologTerm("ap", sf2);
    final PrologTerm andPred = new CompoundPrologTerm("and", ap1, ap2);
    final PrologTerm strong_assumption = new CompoundPrologTerm("strongassumptions", andPred);
    final PrologTerm expected = new CompoundPrologTerm("fairnessimplication", strong_assumption, TERM_TRUE);
    check("( (sf(bla) & sf(blubb)) => (true))", expected);
}

Example 57 with CompoundPrologTerm

use of de.prob.prolog.term.CompoundPrologTerm 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 58 with CompoundPrologTerm

use of de.prob.prolog.term.CompoundPrologTerm 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 59 with CompoundPrologTerm

use of de.prob.prolog.term.CompoundPrologTerm 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 60 with CompoundPrologTerm

use of de.prob.prolog.term.CompoundPrologTerm 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);
}