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

PLFCEntails.HornClause Class Documentation Show file Open project: PaulMineau/AIMA.Net

getPremiseSymbols() public method

public getPremiseSymbols ( ) : List
return List 
            public List<Symbol> getPremiseSymbols()
            {
                return premiseSymbols;
            }
PLFCEntails.HornClause
Equals
GetHashCode
HornClause
ToString
getPremiseSymbols
head
isImpliedSentence
premisesContainsSymbol