C# Class AIMA.Core.Logic.FOL.CNFConverter

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode Description
CNFConverter ( FOLParser parser ) : System
convertToCNF ( Sentence aSentence ) : CNF

Method Details

CNFConverter() public méthode

public CNFConverter ( FOLParser parser ) : System
parser AIMA.Core.Logic.FOL.Parsing.FOLParser
Résultat System

convertToCNF() public méthode

public convertToCNF ( Sentence aSentence ) : CNF
aSentence Sentence
Résultat AIMA.Core.Logic.FOL.KB.Data.CNF