test.Node Class Reference

Collaboration diagram for test.Node:

Public Member Functions
def	__init__
def	addFun
def	addVar
def	matchFun
def	matchNum
def	unifyFun
def	getFun
def	unifyVar
def	toString

Public Attributes
	fun
	var
	leaf

Constructor & Destructor Documentation

def test.Node.__init__

(

self

)

Member Function Documentation

def test.Node.addFun	(		self,
			fun,
			other,
			leaf
	)

Here is the call graph for this function:

def test.Node.addVar	(		self,
			var,
			other,
			leaf
	)

Here is the call graph for this function:

def test.Node.getFun	(		self,
			name,
			n,
			args
	)

def test.Node.matchFun	(		self,
			fun,
			other,
			subst
	)

Here is the call graph for this function:

def test.Node.matchNum	(		self,
			num,
			other,
			subst
	)

Here is the call graph for this function:

def test.Node.toString	(		self,
			ident
	)

def test.Node.unifyFun	(		self,
			fun,
			other,
			subst
	)

Here is the call graph for this function:

def test.Node.unifyVar	(		self,
			var,
			other,
			subst
	)

Here is the call graph for this function:

Member Data Documentation

test.Node.fun

test.Node.leaf

test.Node.var

---

The documentation for this class was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/scratch/test.py