C# Класс AIMA.Core.Logic.FOL.Inference.Otter.DefaultImpl.DefaultClauseSimplifier

Наследование: ClauseSimplifier
Показать файл Открыть проект Примеры использования класса

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

Метод Описание
DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference
simplify ( Clause c ) : Clause

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

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

public DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
Результат AIMA.Core.Logic.FOL.Inference

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

public DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference
rewrites List
Результат AIMA.Core.Logic.FOL.Inference

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

public simplify ( Clause c ) : Clause
c Clause
Результат Clause