AIMA.Core.Logic.Propositional.Algorithms.DPLL.SymbolValuePair.ToString C# (CSharp) Method

            public override String ToString()
            {
                String symbolString, valueString;
                if (symbol == null)
                {
                    symbolString = "NULL";
                }
                else
                {
                    symbolString = symbol.ToString();
                }
                if (value == null)
                {
                    valueString = "NULL";
                }
                else
                {
                    valueString = value.ToString();
                }
                return symbolString + " -> " + valueString;
            }
        }