public void setAvailDef(final Def def, final Def availDef) {
			if (SSAPRE.DEBUG) {
				System.out.println("        setting avail def for " + def
						+ " to " + availDef);
			}

			availDefs.put(def, availDef);
		}