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);
	}
}