proverbot Namespace Reference

Functions
def	predict_tactic (net, s)
def	predict_tactics (net, s, n)

Variables
	net = load_net("cfg/coq.test.cfg", "/home/pjreddie/backup/coq.backup", 0)
def	t = predict_tactics(net, "+++++\n", 10)

Function Documentation

predict_tactic()

def proverbot.predict_tactic	(		net,
			s
	)

Definition at line 3 of file proverbot.py.

predict_tactics()

def proverbot.predict_tactics	(		net,
			s,
			n
	)

Definition at line 27 of file proverbot.py.

Variable Documentation

net

proverbot.net = load_net("cfg/coq.test.cfg", "/home/pjreddie/backup/coq.backup", 0)

Definition at line 35 of file proverbot.py.

t

def proverbot.t = predict_tactics(net, "+++++\n", 10)

Definition at line 36 of file proverbot.py.