class HaltView: SolutionView<String, Halt> Constructors <init> constructor(solution: Halt) Parameters Name Description solution: Halt