public final String s;
public MyLift(String s) { this.s = s; }
}
- public class MyDrop {
- public final Object o;
- public MyDrop(Object o) { this.o = o; }
- }
public class PreSequence {
public final HashSet<Sequence> and = new HashSet<Sequence>();
int j = 0;
for(int i=0; i<o.length; i++) {
Object oi = o[i];
- if (oi instanceof MyDrop) { oi = ((MyDrop)oi).o; drops[j] = true; }
-
if (oi==SELF) o2[j] = u.new Subset("(("+u+"))", set);
else if (oi instanceof MyLift) { o2[j] = string(tag = ((MyLift)oi).s); drops[j] = o.length>1; }
else o2[j] = (Element)oi;