Type Definition pcp::concept::Formula

source · 
pub type Formula<VStore> = Box<dyn PropagatorConcept<VStore, FDEvent>>;