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