C# Класс AIMA.Core.Logic.FOL.SubsumptionElimination

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

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

Метод Описание
findSubsumedClauses ( List clauses ) : List

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

findSubsumedClauses() публичный статический Метод

public static findSubsumedClauses ( List clauses ) : List
clauses List
Результат List