C# Класс AIMA.Core.Logic.FOL.KB.Data.CNF

Показать файл Открыть проект

Открытые методы

Метод	Описание
CNF ( List conjunctionOfClauses ) : System
ToString ( ) : String
getConjunctionOfClauses ( ) : List
getNumberOfClauses ( ) : int

Описание методов

CNF() публичный Метод

public CNF ( List conjunctionOfClauses ) : System
conjunctionOfClauses	List
Результат	System

ToString() публичный Метод

public ToString ( ) : String
Результат	String

getConjunctionOfClauses() публичный Метод

public getConjunctionOfClauses ( ) : List
Результат	List

getNumberOfClauses() публичный Метод

public getNumberOfClauses ( ) : int
Результат	int