AIMA.Core.Logic.FOL.KB.Data.CNF.getNumberOfClauses C# (CSharp) Method

CNF Class Documentation Datei anzeigen Open project: PaulMineau/AIMA.Net

getNumberOfClauses() public method

public getNumberOfClauses ( ) : int
return int 
        public int getNumberOfClauses()
        {
            return conjunctionOfClauses.Count;
        }
CNF
CNF
ToString
getConjunctionOfClauses
getNumberOfClauses