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

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