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

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

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

Метод	Описание
Unifier ( ) : System
unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary

Защищенные методы

Метод	Описание
occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool

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

Метод	Описание
args ( FOLNode x ) : List
cascadeOccurCheck ( Term>.Dictionary theta, Variable var, List varsToCheck, List varsCheckedAlready ) : bool
cascadeSubstitution ( Term>.Dictionary theta, Variable var, Term x ) : void
isCompound ( FOLNode x ) : bool
op ( FOLNode x ) : String
unifyOps ( String x, String y, Term>.Dictionary theta ) : Term>.Dictionary
unifyVar ( Variable var, FOLNode x, Term>.Dictionary theta ) : Term>.Dictionary

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

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

public Unifier ( ) : System
Результат	System

occurCheck() защищенный Метод

protected occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool
theta	Term>.Dictionary
var	AIMA.Core.Logic.FOL.Parsing.AST.Variable
x	FOLNode
Результат	bool

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

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
Результат	Term>.Dictionary

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

public unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
x	FOLNode
y	FOLNode
theta	Term>.Dictionary
Результат	Term>.Dictionary

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

public unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary
x	List
y	List
theta	Term>.Dictionary
Результат	Term>.Dictionary