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

Example 61 with CompoundPrologTerm

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

Example 62 with CompoundPrologTerm

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

the class PrologGeneratorTest method testAvailable.

@Test
public void testAvailable() throws Exception {
    final PrologTerm transPred = new CompoundPrologTerm("bla");
    final PrologTerm wrapped = new CompoundPrologTerm("dtrans", transPred);
    final PrologTerm available = new CompoundPrologTerm("available", wrapped);
    final PrologTerm expected = new CompoundPrologTerm("ap", available);
    check("Av(bla)", expected);
}

Example 63 with CompoundPrologTerm

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

the class PrologGeneratorTest method testAnd.

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

Example 64 with CompoundPrologTerm

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

the class PrologGeneratorTest method testNot.

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

Example 65 with CompoundPrologTerm

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

the class PrologGeneratorTest method testDLK.

@Test
public void testDLK() throws Exception {
    final PrologTerm transPred = new CompoundPrologTerm("bla");
    final PrologTerm wrapped = new CompoundPrologTerm("dtrans", transPred);
    final PrologTerm args = new ListPrologTerm(wrapped);
    final PrologTerm dlk = new CompoundPrologTerm("dlk", args);
    final PrologTerm expected = new CompoundPrologTerm("ap", dlk);
    check("deadlock( bla)", expected);
}