ca.uwaterloo.cs.ql.fb
Class Header

java.lang.Object
  extended by ca.uwaterloo.cs.ql.fb.Header

public class Header
extends java.lang.Object


Constructor Summary
Header(Column[] cols)
           
 
Method Summary
 boolean contains(Column col)
           
 Header difference(Header h)
           
 Column get(int i)
           
 Header intersect(Header h)
           
 int locate(Column col)
           
 int size()
           
 java.lang.String toString()
           
 Header union(Header h)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Header

public Header(Column[] cols)
Method Detail

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