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

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	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

Protected Methods

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

Private Methods

Method	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 method

public Unifier ( ) : System
return	System

occurCheck() protected method

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

unify() public method

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
return	Term>.Dictionary

unify() public method

public unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
x	FOLNode
y	FOLNode
theta	Term>.Dictionary
return	Term>.Dictionary

unify() public method

public unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary
x	List
y	List
theta	Term>.Dictionary
return	Term>.Dictionary