Solver/Generator interfaces, Uml-diagram added.