pub type FDSpace = Space<VStore, CStoreFD<VStore>, NoRecomputation<VStore, CStoreFD<VStore>>>;Aliased Type§
pub struct FDSpace {
pub vstore: Store<TrailMemory<TimestampTrail<IntervalSet<i32>>, IntervalSet<i32>>, FDEvent>,
pub cstore: Store<Store<TrailMemory<TimestampTrail<IntervalSet<i32>>, IntervalSet<i32>>, FDEvent>, FDEvent, IndexedDeps, RelaxedFifo>,
/* private fields */
}Fields§
§vstore: Store<TrailMemory<TimestampTrail<IntervalSet<i32>>, IntervalSet<i32>>, FDEvent>§cstore: Store<Store<TrailMemory<TimestampTrail<IntervalSet<i32>>, IntervalSet<i32>>, FDEvent>, FDEvent, IndexedDeps, RelaxedFifo>