dk.brics.tajs.solver

Class WorkList<CallContextType extends ICallContext<?>>

java.lang.Object

dk.brics.tajs.solver.WorkList<CallContextType>

public class WorkList<CallContextType extends ICallContext<?>>
extends Object

Work list used by solver.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	WorkList.Entry Work list entry.

Constructor Summary

Constructors

Constructor and Description
WorkList(IWorkListStrategy<CallContextType> w) Constructs a new empty work list.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(WorkList.Entry e) Adds an entry.
boolean	isEmpty() Checks whether the work list is empty.
void	remove(WorkList.Entry e) Removes the given entry.
WorkList.Entry	removeNext() Picks and removes the next entry.
int	size() Returns the number of entries in the work list.
String	toString() Returns a string description of this work list.

Methods inherited from class java.lang.Object

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

Constructor Detail

WorkList

public WorkList(IWorkListStrategy<CallContextType> w)

Constructs a new empty work list.

Method Detail

add

public boolean add(WorkList.Entry e)

Adds an entry.

Returns:

true if changed

isEmpty

public boolean isEmpty()

Checks whether the work list is empty.

remove

public void remove(WorkList.Entry e)

Removes the given entry.

removeNext

public WorkList.Entry removeNext()

Picks and removes the next entry. Returns null if the entry has been removed.

size

public int size()

Returns the number of entries in the work list.

toString

public String toString()

Returns a string description of this work list.

Overrides:

toString in class Object