private static void AddVariableToResult(StringBuilder variableSb, List <object> result) { if (variableSb.Length == 0) { return; } var variable = new PropositionalVariable(variableSb.ToString()); result.Add(variable); variableSb.Clear(); }
protected bool Equals(PropositionalVariable other) { return(this == other); }