Package org.symcomp.spsd

Class Summary

AbstractSPSDHandler	is a specialized ProcedureCallHandler prpared for distribution of computations.
AllPairsHandler	Interates over the cartesian product.
MapHandler	iterates over a list/set
MapIntervalHandler	maps on an implicitely generated list by an interval.
SPSD	the 'Simple Parallel SCSCP Dispatcher' is responsible to parallely dispatch work to some registered systems.
ZipHandler	zips two lists