AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause.premisesContainsSymbol C# (CSharp) Method

public premisesContainsSymbol ( Symbol q ) : bool
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool

            public bool premisesContainsSymbol(Symbol q)
            {
                return premiseSymbols.Contains(q);
            }

PLFCEntails.HornClause