public Simplification(String[] strings, SolutionType solutionType,
			Controller controller) {
		s = "";
		if (solutionType.name().compareTo("DETAILLED_SOLUTION") == 0)
			this.detailledSolution = true;
		else
			this.detailledSolution = false;
		functions = strings;
		s += Tools.intialize();
		s += Tools.writeIntroducedFunctions(strings);
		this.controller = controller;

	}