export function getElementByIdOrThrow ( elementId ) { const el = document . getElementById ( elementId ) ; if ( ! el ) { throw new Error ( `HTML document does not contain element with ID=${ elementId }` ) ; } return el ; } export interface State { id : number ; origId : string ; parentId ? : number ; g : number ; actionName : string | undefined ; h ? : number ; earliestTime : number ; landmarks : number | undefined ; totalMakespan ? : number ; isDeadEnd ? : boolean ; isGoal ? : boolean ; isPlan ? : boolean ; wasVisitedOrIsWorse ? : boolean ; helpfulActions ? : any ; }