예제 #1
0
파일: KApp.java 프로젝트: kszr/k 
 @Override
 public boolean contains(Object o) {
   if (o instanceof Bracket) return contains(((Bracket) o).getContent());
   if (o instanceof Cast) return contains(((Cast) o).getContent());
   if (!(o instanceof KApp)) return false;
   KApp k = (KApp) o;
   return label.contains(k.label) && child.contains(k.child);
 }
예제 #2
0
파일: Freezer.java 프로젝트: kszr/k 
 @Override
 public boolean contains(Object o) {
   if (o instanceof Bracket) return contains(((Bracket) o).getContent());
   if (o instanceof Cast) return contains(((Cast) o).getContent());
   if (!(o instanceof Freezer)) return false;
   Freezer f = (Freezer) o;
   return term.contains(f.term);
 }
예제 #3
0
 public static boolean contains(int id) {
   return Term.contains(id, list);
 }