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

Mostra file Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
CNF ( List conjunctionOfClauses ) : System
ToString ( ) : String
getConjunctionOfClauses ( ) : List
getNumberOfClauses ( ) : int

Method Details

CNF() public method

public CNF ( List conjunctionOfClauses ) : System
conjunctionOfClauses	List
return	System

ToString() public method

public ToString ( ) : String
return	String

getConjunctionOfClauses() public method

public getConjunctionOfClauses ( ) : List
return	List

getNumberOfClauses() public method

public getNumberOfClauses ( ) : int
return	int