141142143144145146147
ATermAppl var0 = freeVar.next(); ATermAppl var1 = freeVar.next(); body.add(makeSubOfSomeTuple(var0, p, var1)); translateSuper(head, domain, freeVar, var0); m_Rules.add(new Rule(body, head)); }
155156157158159160161
ATermAppl var1 = freeVar.next(); body.add(makeSubOfSomeTuple(var0, p, var1)); ATermAppl someOfRange = ATermUtils.makeSomeValues(p, range); translateSuper(head, someOfRange, freeVar, var0); m_Rules.add(new Rule(body, head)); }
175176177178179180181
var[i + 1])); } TermTuple head = makeSubOfSomeTuple(var[0], sup, var[var.length - 1]); m_Rules.add(new Rule(body, Collections.singletonList(head))); }
196197198199200201202
List<TermTuple> body = CollectionUtils.makeList(); body.add(makeSubOfSomeTuple(var0, var1, var2)); body.add(makeSubclassTuple(var2, BOTTOM)); TermTuple head = makeSubclassTuple(var0, BOTTOM); m_Rules.add(new Rule(body, Collections.singletonList(head))); }
207208209210211212213
List<TermTuple> head = CollectionUtils.makeList(); ATermAppl var = freeVar.next(); translateSub(body, sub, freeVar, var); translateSuper(head, sup, freeVar, var); m_Rules.add(new Rule(body, head)); }