C# Class AIMA.Core.Logic.FOL.KB.Data.CNF

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode	Description
CNF ( List conjunctionOfClauses ) : System
ToString ( ) : String
getConjunctionOfClauses ( ) : List
getNumberOfClauses ( ) : int

Method Details

CNF() public méthode

public CNF ( List conjunctionOfClauses ) : System
conjunctionOfClauses	List
Résultat	System

ToString() public méthode

public ToString ( ) : String
Résultat	String

getConjunctionOfClauses() public méthode

public getConjunctionOfClauses ( ) : List
Résultat	List

getNumberOfClauses() public méthode

public getNumberOfClauses ( ) : int
Résultat	int