1 package edu.berkeley.fleet.marina;
2 import edu.berkeley.fleet.api.*;
3 import edu.berkeley.fleet.two.*;
5 public class MarinaDestination extends Destination {
7 private final BitVector bv;
8 private final MarinaFleet marina;
10 public MarinaDestination(MarinaFleet marina, BitVector bv) {
11 super(marina.onlyDock);
17 public String toString() {