C# Класс AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.IndexedClauses

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

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

Метод	Описание
IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
addClause ( Clause c, List sos, List usable ) : void

Приватные методы

Метод	Описание
indexClause ( Clause c ) : void

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

IndexedClauses() публичный метод

public IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
lightestClauseHeuristic	LightestClauseHeuristic
sos	List
usable	List
Результат	System

addClause() публичный метод

public addClause ( Clause c, List sos, List usable ) : void
c	Clause
sos	List
usable	List
Результат	void