ca.uwaterloo.cs.ql.fb
Class Header
java.lang.Object
ca.uwaterloo.cs.ql.fb.Header
public class Header
- extends java.lang.Object
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Header
public Header(Column[] cols)
size
public int size()
get
public Column get(int i)
contains
public boolean contains(Column col)
locate
public int locate(Column col)
union
public Header union(Header h)
intersect
public Header intersect(Header h)
difference
public Header difference(Header h)
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object