/*
   $Header: /home/cs/guest/javagrp/netdesign/network/RCS/SwitchSet.java,v 1.1 1996/06/05 18:20:21 hma Exp $
   $Log: SwitchSet.java,v $
# Revision 1.1  1996/06/05  18:20:21  hma
# Initial revision
#
*/

package network;

import general.* ;

public class SwitchSet {
  String name; // e.g. "cs dept"
  Set switches;
  GeneralProperties prop;

  public SwitchSet(String Name, Set Switches) {
    name = Name;
    switches = Switches;
  }

} // end of class SwitchSet
