C# Class AIMA.Core.Logic.FOL.Unifier

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	Description
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

Méthodes protégées

Méthode	Description
occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool

Private Methods

Méthode	Description
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

Method Details

Unifier() public méthode

public Unifier ( ) : System
Résultat	System

occurCheck() protected méthode

protected occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool
theta	Term>.Dictionary
var	AIMA.Core.Logic.FOL.Parsing.AST.Variable
x	FOLNode
Résultat	bool

unify() public méthode

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
Résultat	Term>.Dictionary

unify() public méthode

public unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
x	FOLNode
y	FOLNode
theta	Term>.Dictionary
Résultat	Term>.Dictionary

unify() public méthode

public unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary
x	List
y	List
theta	Term>.Dictionary
Résultat	Term>.Dictionary