StaticPropagation GetUsefulPropagationInfo() { if( Family.Solver.Step == ConfigurationSolverStep.InitializeFinalStartableStatus ) { if( Disabled ) return null; } else if( PropagationIsUseless ) return null; if( _propagation == null ) _propagation = new StaticPropagation( this ); _propagation.Refresh(); return _propagation; }
StaticPropagation GetUsefulPropagationInfo() { if (Family.Solver.Step == ConfigurationSolverStep.InitializeFinalStartableStatus) { if (Disabled) { return(null); } } else if (PropagationIsUseless) { return(null); } if (_propagation == null) { _propagation = new StaticPropagation(this); } _propagation.Refresh(); return(_propagation); }
public DynamicPropagation(StaticPropagation staticP) : base(staticP) { }
public DynamicPropagation( StaticPropagation staticP ) : base(staticP) { }