use of nars.derive.match.EllipsisOneOrMore in project narchy by automenta.
the class EllipsisTest method testEllipsisInMinArity.
@Test
public void testEllipsisInMinArity() {
Atomic a = Atomic.the("a");
Ellipsis b = new EllipsisOneOrMore($.varPattern(1));
for (Op o : Op.values()) {
if (o.minSize <= 1)
continue;
if (o.statement)
continue;
if (o != DIFFe && o != DIFFi) {
assertEquals(a, o.the(DTERNAL, a), o + " with normal term");
} else {
assertEquals(Null, o.the(DTERNAL, a));
}
assertEquals(o.statement ? VAR_PATTERN : o, o.the(DTERNAL, b).op(), o + " with ellipsis not reduced");
}
}
Aggregations