Pamef/ta1/MutexTypeN.java

// Nummy mutex : never refuse ownership

class MutexTypeN extends Mutex {

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

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

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