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

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

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

Метод	Описание
standardizeApart ( Chain c, int saIdx ) : int
standardizeApart ( Clause c, int saIdx ) : int

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

Метод	Описание
collectAllVariables ( Sentence s, List vars ) : void
standardizeApart ( List variables, Object expr, int saIdx ) : int

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

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

public static standardizeApart ( Chain c, int saIdx ) : int
c	AIMA.Core.Logic.FOL.KB.Data.Chain
saIdx	int
Результат	int

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

public static standardizeApart ( Clause c, int saIdx ) : int
c	Clause
saIdx	int
Результат	int