src/edu/berkeley/fleet/marina/MarinaDestination.java

   1 package edu.berkeley.fleet.marina;
   2 import edu.berkeley.fleet.api.*;
   3 import edu.berkeley.fleet.two.*;
   4
   5 public class MarinaDestination extends Destination {
   6
   7     private final BitVector bv;
   8     private final Marina marina;
   9
  10     public MarinaDestination(Marina marina, BitVector bv) {
  11         super(marina.onlyDock);
  12         this.marina = marina;
  13         bv.setImmutable();
  14         this.bv = bv;
  15     }
  16
  17     public String toString() {
  18         return bv.toString();
  19     }
  20
  21 }
  22