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

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method Description
CNFConverter ( FOLParser parser ) : System
convertToCNF ( Sentence aSentence ) : CNF

Method Details

CNFConverter() public method

public CNFConverter ( FOLParser parser ) : System
parser AIMA.Core.Logic.FOL.Parsing.FOLParser
return System

convertToCNF() public method

public convertToCNF ( Sentence aSentence ) : CNF
aSentence Sentence
return AIMA.Core.Logic.FOL.KB.Data.CNF