pstlab / PLATINUm

	 * 

	 * @param dec

	 */

	public synchronized void restore(Decision dec) 

	{

		// check decision component

		if (!dec.getComponent().equals(this)) {

			throw new RuntimeException("Trying to restore a not local decision on component:\n- component: " + this.name + "\n- decision: " + dec + "\n");

		}

		// if active something goes wrong

		if (this.isActive(dec)) {

			// unexpected behavior

			throw new RuntimeException("Trying to restore an active decision:\n- decision: " + dec + "\n");

		}

		// check if pending

		if (this.isPending(dec)) {

			// warning information

			warning("Trying to restore an already pending decision:\n- decision: " + dec + "\n");

//			throw new RuntimeException("Trying to restore an already pending decision:\n- decision: " + dec + "\n");

		}

		// check if silent decision

		if (this.isSilent(dec)) {

			// remove from silent set

			this.decisions.get(PlanElementStatus.SILENT).remove(dec);

			// add to pending set

			this.decisions.get(PlanElementStatus.PENDING).add(dec);

		}

	}

	 * 

	 * @param dec

	 */

	public synchronized void free(Decision dec) 

	{

		// check decision component

		if (!dec.getComponent().equals(this)) {

			throw new RuntimeException("Trying to free a not local decision from a component:\n- component: " + this.name + "\n- decision: " + dec + "\n");

		}

		// check if already SILENT

		if (this.isSilent(dec)) {

			// warning information

			warning("Trying to free an already SILENT decision:\n- decision: " + dec + "\n");

		}

		// check if ACTIVE

		if (this.isActive(dec)) {

			// check as this could be a potential bug in the backtracking procedure when "restoring" plan states 

			throw new RuntimeException("Trying to free an ACTIVE decision:\n- decision: " + dec + "\n");

		}

		// complete transition PENDING -> SILENT

		if (this.isPending(dec)) {

			// delete pending decision

			this.decisions.get(PlanElementStatus.PENDING).remove(dec);

			// add to silent decisions

			this.decisions.get(PlanElementStatus.SILENT).add(dec);

		}

	}