package jcircus.complementaryenvs;
  import jcircus.interleaving.ProcessIdSet;
  import java.util.HashMap;
  import java.util.LinkedHashMap;
  import java.util.Vector;
  
  //@author: Samuel Lincoln Magalhães Barrocas
  //Maps a channel to a set of process name sets.
  	//Each set of processes is supposed to share a front-end on the channel of the mapping (this is for channels with forced interleaving)
  public class ChanProcessNameSetEnv {
  	private HashMap <String, Vector <ProcessIdSet>> _map;
  	public ChanProcessNameSetEnv () {
  		this._map = new LinkedHashMap <String, Vector <ProcessIdSet>> ();
  	}
  	public void put (String channel, Vector <ProcessIdSet> set) {
  		this._map.put(channel, set);
  	}
  	public Vector <ProcessIdSet> get (String channel) {
  		return this._map.get(channel);
  	}
  }