final static public ATermAppl makeHasValue(final ATerm r, final ATerm ind) { final ATermAppl c = makeValue(ind); return factory.makeAppl(SOMEFUN, r, c); }
final static public ATermAppl makeAnon(final int id) { if (id < anonCache.length) return anonCache[id]; return factory.makeAppl(ANON_FUN, factory.makeInt(id)); }
final static public ATermAppl makeSomeValues(final ATerm r, final ATerm c) { assertTrue(c instanceof ATermAppl); return factory.makeAppl(SOMEFUN, r, c); }
public static ATermAppl makeBuiltinAtom(final ATermAppl[] args) { return factory.makeAppl(BUILTINFUN, makeList(args)); } }
public static ATermAppl makeBuiltinAtom(final ATermAppl[] args) { return factory.makeAppl(BUILTINFUN, makeList(args)); } }
final static public ATermAppl makeAnon(final int id) { if (id < anonCache.length) return anonCache[id]; return factory.makeAppl(ANON_FUN, factory.makeInt(id)); }
final static public ATermAppl makeMax(final ATerm r, final ATermInt n, final ATerm c) { assertTrue(n.getInt() >= 0); return factory.makeAppl(MAXFUN, r, n, c); }
final static public ATermAppl makeDisplayMin(final ATerm r, final int n, final ATerm c) { assertTrue(n >= 0); return factory.makeAppl(MINFUN, r, factory.makeInt(n), c); }
final static public ATermAppl makeDisplayMax(final ATerm r, final int n, final ATerm c) { assertTrue(n >= 0); return factory.makeAppl(MAXFUN, r, factory.makeInt(n), c); }
final static public ATermAppl makeDisplayCard(final ATerm r, final int n, final ATerm c) { assertTrue(n >= 0); return factory.makeAppl(CARDFUN, r, factory.makeInt(n), c); }
final static public ATermAppl makeInv(final ATermAppl r) { if (isInv(r)) return (ATermAppl) r.getArgument(0); return factory.makeAppl(INVFUN, r); }
final static public ATermAppl makeDisplayMin(final ATerm r, final int n, final ATerm c) { assertTrue(n >= 0); return factory.makeAppl(MINFUN, r, factory.makeInt(n), c); }
final static public ATermAppl makeInv(final ATermAppl r) { if (isInv(r)) return (ATermAppl) r.getArgument(0); return factory.makeAppl(INVFUN, r); }
final static public ATermAppl makeDisplayCard(final ATerm r, final int n, final ATerm c) { assertTrue(n >= 0); return factory.makeAppl(CARDFUN, r, factory.makeInt(n), c); }
static public ATermAppl makeOr(final ATermList list) { if (list == null) throw new NullPointerException(); else if (list.isEmpty()) return BOTTOM; else if (list.getNext().isEmpty()) return (ATermAppl) list.getFirst(); return factory.makeAppl(ORFUN, list); }
final static public ATermAppl makeAllValues(final ATerm r, final ATerm c) { final ATerm arg1; if (r.getType() == ATerm.LIST) { final ATermList list = (ATermList) r; arg1 = list.getLength() == 1 ? list.getFirst() : r; } else arg1 = r; return factory.makeAppl(ALLFUN, arg1, c); }
static public ATermAppl makeAnd(final ATermList list) { if (list == null) throw new NullPointerException(); else if (list.isEmpty()) return TOP; else if (list.getNext().isEmpty()) return (ATermAppl) list.getFirst(); return factory.makeAppl(ANDFUN, list); }
public final static TestFib newTestFib(ATermFactory factory) { TestFib t = new TestFib(); t._factory = factory; t.zero = factory.makeAFun("zero", 0, false); t.suc = factory.makeAFun("suc", 1, false); t.plus = factory.makeAFun("plus", 2, false); t.fib = factory.makeAFun("fib", 1, false); t.tzero = factory.makeAppl(t.zero); return t; }
@Before public void setUp() { this._factory = new PureFactory(); this.zero = _factory.makeAFun("zero", 0, false); this.suc = _factory.makeAFun("suc", 1, false); this.plus = _factory.makeAFun("plus", 2, false); this.fib = _factory.makeAFun("fib", 1, false); this.tzero = _factory.makeAppl(this.zero); this.fail = _factory.parse("fail"); this.initRules(); }