AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause.premisesContainsSymbol C# (CSharp) Méthode

PLFCEntails.HornClause Class Documentation Afficher le fichier Open project: PaulMineau/AIMA.Net

premisesContainsSymbol() public méthode

public premisesContainsSymbol ( Symbol q ) : bool
q AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Résultat bool 
            public bool premisesContainsSymbol(Symbol q)
            {
                return premiseSymbols.Contains(q);
            }
PLFCEntails.HornClause
Equals
GetHashCode
HornClause
ToString
getPremiseSymbols
head
isImpliedSentence
premisesContainsSymbol