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

            public SymbolValuePair()
            {
                // represents "No Symbol found with a bool value that makes all
                // its literals true
                symbol = null;
            }