I have made a suggestion to a Result-class which contain results from analyses. Right now it is rather sparse since we only feature Reachability. The only result recieved from the Reachablility is whether if a state that satisfy the goal and what state.
I have made a suggestion to a Result-class which contain results from analyses. Right now it is rather sparse since we only feature Reachability. The only result recieved from the Reachablility is whether if a state that satisfy the goal and what state.