Exemplo n.º 1
0
 public override bool SameInvariant(Predicate p, Argument aInvariant)
 {
     throw new NotImplementedException();
 }
 public override bool SameInvariant(Predicate p, Argument aInvariant)
 {
     if (Name != p.Name)
         return false;
     if (p is GroundedPredicate)
     {
         GroundedPredicate gpGrounded = (GroundedPredicate)p;
         for (int i = 0; i < Constants.Count; i++)
         {
             if (Constants[i].Equals(aInvariant)
                 && !gpGrounded.Constants[i].Equals(aInvariant))
                 return false;
         }
         return true;
     }
     return false;
 }
 public override bool SameInvariant(Predicate p, Argument aInvariant)
 {
     throw new NotImplementedException();
 }
 public void AddParameter(Argument a)
 {
     if (a is Parameter)
         Parameterized = true;
     m_lParameters.Add(a);
 }