final static public ATermAppl makeAnonNominal(final int id) { return factory.makeAppl(ANON_NOMINAL_FUN, factory.makeInt(id)); }
final static public ATermAppl makeMin(final ATerm r, final int n, final ATerm c) { // comment out built-in simplification so that clashExplanation // axioms will come out right // if( n == 0 ) // return TOP; return makeMin(r, factory.makeInt(n), 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 makeExactCard(final ATerm r, final int n, final ATerm c) { return makeExactCard(r, factory.makeInt(n), c); }
final static public ATermAppl makeMax(final ATerm r, final int n, final ATerm c) { // assertTrue( n >= 0 ); // This was causing nnf to come out wrong // return makeNot(makeMin(r, n + 1)); return makeMax(r, factory.makeInt(n), 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 makeMax(final ATerm r, final int n, final ATerm c) { // assertTrue( n >= 0 ); // This was causing nnf to come out wrong // return makeNot(makeMin(r, n + 1)); return makeMax(r, factory.makeInt(n), c); }
final static public ATermAppl makeMin(final ATerm r, final int n, final ATerm c) { // comment out built-in simplification so that clashExplanation // axioms will come out right // if( n == 0 ) // return TOP; return makeMin(r, factory.makeInt(n), c); }
final static public ATermAppl makeAnonNominal(final int id) { return factory.makeAppl(ANON_NOMINAL_FUN, factory.makeInt(id)); }
final static public ATermAppl makeExactCard(final ATerm r, final int n, final ATerm c) { return makeExactCard(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 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 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); }
public static Clash maxCardinality(final Node node, final DependencySet depends, final ATermAppl r, final int n) { return new Clash(node, ClashType.MAX_CARD, depends, new ATerm[] { r, ATermUtils.getFactory().makeInt(n) }); }
public static Clash maxCardinality(final Node node, final DependencySet depends, final ATermAppl r, final int n) { return new Clash(node, ClashType.MAX_CARD, depends, new ATerm[] { r, ATermUtils.getFactory().makeInt(n) }); }
/** * Generate a list of consecutive numbers. * * @param max * @return list of generated numbers. */ private ATermList generateNumbers(final int max) { ATermList numbers = _factory.makeList(); for (int i = max; i > 0; i--) numbers = _factory.makeList(_factory.makeInt(i), numbers); return numbers; }
public void testMakeInt() { final ATermInt[] term = new ATermInt[2]; term[0] = _factory.makeInt(3); term[1] = _factory.makeInt(3); test_assert(term[0].getType() == ATerm.INT); test_assert(term[0].getInt() == 3); test_assert(term[0] == term[1]); System.out.println("toString: " + term[0]); test_assert(term[0].toString().equals("3")); List<Object> result = term[0].match("3"); test_assert(result != null && result.size() == 0); result = term[0].match("<int>"); test_assert(result != null && result.size() == 1); // System.out.println("pass: testMakeInt"); }