Package tools.refinery.store.query.resultset

Class PriorityAgenda

java.lang.Object

tools.refinery.store.query.resultset.PriorityAgenda

public class PriorityAgenda
extends Object

Constructor Summary

Constructors

Constructor	Description
PriorityAgenda()

Method Summary

Modifier and Type	Method	Description
int	getHighestPriority()
boolean	isEnabled(int priority)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PriorityAgenda

public PriorityAgenda()

Method Details

getHighestPriority

public int getHighestPriority()

isEnabled

public boolean isEnabled(int priority)