Examples with Compound nars.term.Compound used on opensource projects

Example 16 with Compound

use of nars.term.Compound in project narchy by automenta.

the class RevisionTest method testIntermpolationOrderPartialMismatch2.

@Test
public void testIntermpolationOrderPartialMismatch2() throws Narsese.NarseseException {
    Compound a = $.$("(a &&+1 (b &&+1 (d &&+1 c)))");
    Compound b = $.$("(a &&+1 (b &&+1 (c &&+1 d)))");
    String expected = "[((a &&+1 b) &&+1 (c&&d))]";
    permuteChoose(a, b, expected);
}

Example 17 with Compound

use of nars.term.Compound in project narchy by automenta.

the class RevisionTest method testIntermpolationOrderMixDternal2Reverse.

@Test
public void testIntermpolationOrderMixDternal2Reverse() throws Narsese.NarseseException {
    Compound a = $.$("(a &&+1 (b &&+1 (c &&+1 d)))");
    Compound b = $.$("((a && b) &&+1 (c &&+1 d))");
    permuteChoose(a, b, "[(((a&&b) &&+1 c) &&+1 d), (((a&&b) &&+1 c) &&+2 d), ((a&&b) &&+1 (c&|d))]");
}

Example 18 with Compound

use of nars.term.Compound in project narchy by automenta.

the class RevisionTest method testIntermpolationImplDirectionMismatch.

@Test
public void testIntermpolationImplDirectionMismatch() throws Narsese.NarseseException {
    Compound a = $.$("(a ==>+1 b)");
    Compound b = $.$("(a ==>-1 b))");
    permuteChoose(a, b, "[(a==>b)]");
}

Example 19 with Compound

use of nars.term.Compound in project narchy by automenta.

the class RevisionTest method testIntermpolationConj2OrderSwap.

@Test
public void testIntermpolationConj2OrderSwap() throws Narsese.NarseseException {
    Compound a = $.$("(a &&+1 b)");
    Compound b = $.$("(b &&+1 a))");
    permuteChoose(a, b, "[(a&&b)]");
}

Example 20 with Compound

use of nars.term.Compound in project narchy by automenta.

the class RevisionTest method testIntermpolationOrderMismatch.

@Test
public void testIntermpolationOrderMismatch() throws Narsese.NarseseException {
    Compound a = $.$("(c &&+1 (b &&+1 a))");
    Compound b = $.$("(a &&+1 (b &&+1 c))");
    permuteChoose(a, b, "[(&&,a,b,c)]");
}