public DfsTraversalNode getNextNode ( BEvent e , ExecutorService exSvc ) throws BPjsRuntimeException { try { return new DfsTraversalNode ( bp , BProgramSyncSnapshotCloner . clone ( systemState ) . triggerEvent ( e , exSvc , Collections . emptySet ( ) ) , e ) ; } catch ( InterruptedException ie ) { throw new BPjsRuntimeException ( "Thread interrupted during event invocaiton" , ie ) ; } }
Get a Node object for each possible state of the system after triggering the given event .