/// <summary> Returns the string format for the fact without the fact-id. this is used
/// to make sure that if an user asserts an equivalent fact, we can easily
/// check it.
/// </summary>
/// <returns>
///
/// </returns>
public virtual EqualityIndex equalityIndex()
{
if (Eindex == null)
{
Eindex = new EqualityIndex(this);
}
return(Eindex);
}
/// <summary> The implementation is similar to the index class.
/// </summary>
public override bool Equals(Object val)
{
if (this == val)
{
return(true);
}
if (val == null || !(val is EqualityIndex))
{
return(false);
}
EqualityIndex eval = (EqualityIndex)val;
if (eval.fact.Deftemplate != fact.Deftemplate)
{
return(false);
}
return(eval.fact.slotEquals(fact));
}
/// <summary> Returns the string format for the fact without the fact-id. this is used
/// to make sure that if an user asserts an equivalent fact, we can easily
/// check it.
/// </summary>
/// <returns>
///
/// </returns>
public virtual EqualityIndex equalityIndex()
{
if (Eindex == null)
{
Eindex = new EqualityIndex(this);
}
return Eindex;
}