public class NumberOfWorkers extends Object
NumberOfWorkers(String value)
int
getNumberOfWorkers()
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public NumberOfWorkers(String value)
public int getNumberOfWorkers()
public String toString()
toString
Object
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.