Dynamic Event Tree

Branch records, branch clusters, and sequence management for DET exploration. More...

Files
file	BranchCluster.h
	A branching point in the DET, holding its branch alternatives.
file	BranchRecord.h
	Central dynamic event tree data structure: the branch clusters, the end states and the forks that are pending at the current evaluation point.
file	BranchUnit.h
	A single branch alternative — holds all crew/system state deltas for one branch.

Detailed Description

Branch records, branch clusters, and sequence management for DET exploration.