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