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;
 }