dk.brics.tajs.solver

Class WorkList<ContextType extends IContext<ContextType>>

java.lang.Object

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

public class WorkList<ContextType extends IContext<ContextType>>
extends java.lang.Object

Work list used by solver.

Constructor Summary

Constructors

Constructor and Description
WorkList(CallGraph<?,ContextType,?> call_graph) Constructs a new empty work list.

Method Summary

Modifier and Type	Method and Description
boolean	add(BlockAndContext<ContextType> bc) Adds an entry.
boolean	isEmpty() Checks whether the work list is empty.
BlockAndContext<ContextType>	removeNext() Picks and removes the next entry.
int	size() Returns the number of entries in the work list.
java.lang.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(CallGraph<?,ContextType,?> call_graph)

Constructs a new empty work list.

Method Detail

add

public boolean add(BlockAndContext<ContextType> bc)

Adds an entry.

Returns:

true if changed

isEmpty

public boolean isEmpty()

Checks whether the work list is empty.

removeNext

public BlockAndContext<ContextType> removeNext()

Picks and removes the next entry.

size

public int size()

Returns the number of entries in the work list.

toString

public java.lang.String toString()

Returns a string description of this work list.

Overrides:

toString in class java.lang.Object