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

Example 36 with Compound

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

the class RevisionTest method testIntermpolationOrderMixDternalReverse.

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

Example 37 with Compound

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

the class RevisionTest method testIntermpolationOrderPartialMismatchReverse2.

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

Example 38 with Compound

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

the class RevisionTest method testIntermpolation0.

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

Example 39 with Compound

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

the class RevisionTest method testIntermpolationOrderPartialMismatchReverse.

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

Example 40 with Compound

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

the class RevisionTest method testIntermpolationImplDirectionDternalAndTemporal.

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