internal static string polish(IAtomicFormula f, IDictionary <string, string> vm)
{
if (f is EqualityFormula)
{
return(polish(f as EqualityFormula, vm));
}
return(polish(f as PredicateApplication, vm));
}
public Literal(IAtomicFormula f, bool polarity)
{
this.f = f;
this.polarity = polarity;
stringCache = ToStringInt();
variableMap = new Dictionary <LVar, string>();
foreach (var fv in orderedFreeVariables)
{
variableMap[fv] = "v_" + variableMap.Count.ToString();
}
}