package Ġit . uni bo . tup ro log . solve . fsm Ċ Ċ import Ġit . uni bo . tup ro log . solve . Classic ExecutionContext Ċ import Ġit . uni bo . tup ro log . solve . Solution Ċ import Ġit . uni bo . tup ro log . solve . exception . Tu Pro log RuntimeException Ċ Ċ internal Ġdata Ġclass ĠState H alt ( ĊĠĠĠ Ġoverride Ġval Ġexception : ĠT u Pro log RuntimeException , ĊĠĠĠ Ġoverride Ġval Ġcontext : ĠClass ic ExecutionContext Ċ ) Ġ: ĠException al State , ĠAbstract End State ( ĊĠĠĠ ĠSolution . H alt ( context . query , Ġexception ), Ġcontext Ċ )