public class Scheduler
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
eventNumber |
java.util.List<Resource> |
resourceList |
Constructor and Description |
---|
Scheduler(java.util.List<Resource> resourceList) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Event> |
assign(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> eventlog,
java.util.List<ObjectType> rot,
int t) |
java.util.List<java.lang.String> |
getResourceNames() |
void |
updateResourceStatus(int t) |
public java.util.List<Resource> resourceList
public int eventNumber
public Scheduler(java.util.List<Resource> resourceList)
public java.util.List<java.lang.String> getResourceNames()
public java.util.Set<Event> assign(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> eventlog, java.util.List<ObjectType> rot, int t)
public void updateResourceStatus(int t)