Метод | Описание | |
---|---|---|
DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference | ||
DefaultClauseSimplifier ( List |
||
simplify ( Clause c ) : Clause |
public DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference | ||
Результат | AIMA.Core.Logic.FOL.Inference |
public DefaultClauseSimplifier ( List |
||
rewrites | List |
|
Результат | AIMA.Core.Logic.FOL.Inference |