protected CL(IAF formula, bool polarity)
{
this.iaf = formula;
this.polarity = polarity;
isTrue = (polarity && formula.isTrue) || (isEQOrDE && polarity && formula.itt[0] == formula.itt[1]);
isFalse = (!polarity && formula.isTrue) || (isEQOrDE && !polarity && formula.itt[0] == formula.itt[1]);;
stringCacheN = ToStringNInt();
varMap = new Dictionary <LVar, string>();
foreach (var fv in orderedFreeVariables)
{
varMap[fv] = "v" + varMap.Count().ToString();
}
#if DEBUG
index = curIndex;
curIndex++;
m[index] = this;
#endif
}
internal static string makeStringN(IAF f, bool polarity)
{
return(makeString(f.ToStringN(), polarity));
}
public int CompareTo(IAF other)
{
return(ToStringN().CompareTo(other.ToStringN()));
}
