Pamef/ta1/MutexTypeN.java

class MutexTypeN extends Mutex {

	public void p(int id) {
		// Nothing
	}

	public void v(int id) {
		// Nothing
	}

	public String toString() {
		return "N";
	}

	public void describe() {
		System.out.println("Dummy mutex : never refuse ownership");
	}
}