test.VarTerm Class Reference

Collaboration diagram for test.VarTerm:

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

Public Attributes
	name

Constructor & Destructor Documentation

def test.VarTerm.__init__	(		self,
			name
	)

Member Function Documentation

def test.VarTerm.__repr__

(

self

)

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

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

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

Member Data Documentation

test.VarTerm.name

---

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

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