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

Example 66 with CompoundPrologTerm

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

the class PrologGeneratorTest method testStrongFairAll.

@Test
public void testStrongFairAll() throws Exception {
    final PrologTerm ap = new CompoundPrologTerm("all");
    final PrologTerm strong_assumption = new CompoundPrologTerm("strongassumptions", ap);
    final PrologTerm expected = new CompoundPrologTerm("fairnessimplication", strong_assumption, TERM_TRUE);
    check("SEF => true", expected);
}

Example 67 with CompoundPrologTerm

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

the class PrologGeneratorTest method testWeakStrongFairAll1.

@Test
public void testWeakStrongFairAll1() 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 ap = new CompoundPrologTerm("all");
    final PrologTerm weak_assumption = new CompoundPrologTerm("weakassumptions", ap);
    final PrologTerm strong_assumption = new CompoundPrologTerm("strongassumptions", ap1);
    final PrologTerm and = new CompoundPrologTerm("and", strong_assumption, weak_assumption);
    final PrologTerm expected = new CompoundPrologTerm("fairnessimplication", and, TERM_TRUE);
    check("sf(bla) & WEF => true", expected);
}

Example 68 with CompoundPrologTerm

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

the class PrologGeneratorTest method testSink.

@Test
public void testSink() throws Exception {
    PrologTerm sink = new CompoundPrologTerm("sink");
    final PrologTerm expected = new CompoundPrologTerm("ap", sink);
    check("sink", expected);
}

Example 69 with CompoundPrologTerm

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

the class PrologGeneratorTest method testDeadlock.

@Test
public void testDeadlock() throws Exception {
    PrologTerm deadlock = new CompoundPrologTerm("deadlock");
    check("deadlock", new CompoundPrologTerm("ap", deadlock));
}

Example 70 with CompoundPrologTerm

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

the class PrologGeneratorTest method testWeakUntil.

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