FDSpace

pcp::search

Type Alias FDSpace 

Source 
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>