model

Class SolvingGoalState