@ParametersAreNonnullByDefault

Package uk.ac.manchester.cs.jfact.helpers

Interface Summary

Interface	Description
LogAdapter	log

Class Summary

Class	Description
ArrayIntMap	map int to int
DLTree	DLTree class
DLTreeFactory	dl tree factory
DLVertex	DL Vertex
Helper	static methods
Pair	The Class Pair.
Reference<E>	Typed strong reference
SaveStack<T>	save stack
Stats	stats.
Stats.AccumulatedStatistic	accumulated stats.
Timer	Timer

Enum Summary

Enum	Description
StatIndex	stat index enum
Templates	templates

Exception Summary

Exception	Description
UnreachableSituationException	The Class UnreachableSituationException.