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

Example 1 with CompoundPrologTerm

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

the class PrologGeneratorTest method testGlobally.

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

Example 2 with CompoundPrologTerm

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

the class PrologGeneratorTest method testSince.

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

Example 3 with CompoundPrologTerm

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

the class PrologGeneratorTest method testYesterday.

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

Example 4 with CompoundPrologTerm

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

the class PrologGeneratorTest method testExistsImplication.

@Test
public void testExistsImplication() throws Exception {
    final PrologTerm id = new CompoundPrologTerm("x");
    // ap(dpred(blubb))
    final PrologTerm pred = new CompoundPrologTerm("blubb");
    final PrologTerm dpred = new CompoundPrologTerm("dpred", pred);
    final PrologTerm ap = new CompoundPrologTerm("ap", dpred);
    // G [x]
    final PrologTerm transPred = new CompoundPrologTerm("x");
    final PrologTerm wrapped2 = new CompoundPrologTerm("dtrans", transPred);
    final PrologTerm action = new CompoundPrologTerm("action", wrapped2);
    final PrologTerm glob = new CompoundPrologTerm("globally", action);
    final PrologTerm expected = new CompoundPrologTerm("exists", id, ap, glob);
    check("#x. ( {blubb} & G [x])", expected);
}

Example 5 with CompoundPrologTerm

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

the class PrologGeneratorTest method testCurrent.

@Test
public void testCurrent() throws Exception {
    final PrologTerm root = new CompoundPrologTerm("root");
    final PrologTerm stateid = new CompoundPrologTerm("stateid", root);
    final PrologTerm expected = new CompoundPrologTerm("ap", stateid);
    check("current", expected);
}