public override bool Equals(object obj) { if (obj is TimePredicate) { TimePredicate tp = (TimePredicate)obj; if (tp.Time == Time) { return(tp.Predicate.Equals(Predicate)); } return(false); } return(false); }
private bool AddToObservedList(TimePredicate tp) { if (tp.Time == Time) return AddToObservedList(tp.Predicate); return m_sPredecessor.AddToObservedList(tp); }
public override Predicate Negate() { TimePredicate tpNegate = new TimePredicate(Predicate.Negate(), Time); return(tpNegate); }
public override Predicate Negate() { TimePredicate tpNegate = new TimePredicate(Predicate.Negate(),Time); return tpNegate; }