package jcircus.complementaryenvs;
  
  import java.util.HashMap;
  import java.util.LinkedHashMap;
  
  import net.sourceforge.czt.base.ast.Term;
  
  public class Proc2HasIdEnv {
  	private HashMap <Term, Boolean> _map;
  	public Proc2HasIdEnv () {
  		this._map = new LinkedHashMap <Term, Boolean> ();
  	}
  	public void put (Term term, boolean b) {
  		this._map.put(term, new Boolean (b));
  	}
  	public boolean get (Term term) {
  		if (!this._map.containsKey(term)) {
  			return false;
  		}
  		return this._map.get(term);
  	}
  }