public override bool Equals(object obj)
{
PredicateFormula fOther = null;
if (obj is CompoundFormula)
{
Formula fSimplify = ((CompoundFormula)obj).Simplify();
if (fSimplify is PredicateFormula)
{
fOther = (PredicateFormula)fSimplify;
}
else
{
return(false);//might not be accurate - could be not
}
}
else if (obj is PredicateFormula)
{
fOther = (PredicateFormula)obj;
}
else
{
return(false);
}
return(Predicate.Equals(fOther.Predicate));
}
public override Formula GenerateGiven(string sTag, List <string> lAlwaysKnown)
{
if (lAlwaysKnown.Contains(Predicate.Name))
{
return(this);
}
PredicateFormula pfGiven = new PredicateFormula(Predicate.GenerateKnowGiven(sTag));
return(pfGiven);
}
public override Formula Clone()
{
PredicateFormula f = new PredicateFormula(Predicate.Clone());
return(f);
}
