test.FunTerm Class Reference

Collaboration diagram for test.FunTerm:

Public Member Functions
def	__init__
def	sig
def	add
def	unify
def	occurs
def	__repr__

Public Attributes
	name
	args

Constructor & Destructor Documentation

def test.FunTerm.__init__	(		self,
			name,
			args
	)

Member Function Documentation

def test.FunTerm.__repr__

(

self

)

def test.FunTerm.add	(		self,
			node,
			other,
			leaf
	)

def test.FunTerm.occurs	(		self,
			subst,
			var
	)

def test.FunTerm.sig

(

self

)

def test.FunTerm.unify	(		self,
			node,
			other,
			subst
	)

Member Data Documentation

test.FunTerm.args

test.FunTerm.name

---

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

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