Basisfunktionen für den Solver vom Pseudocode in Java-Code übernommen,
Methoden angelegt