tpdb-0.8.2: Data Type for Rewriting Systems (Index - G)

tpdb-0.8.2: Data Type for Rewriting Systems

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
X
$
<
_
All

Index - G

get	TPDB.Input
getChild	TPDB.XTC.Read, TPDB.XTC
getE	TPDB.Input
getE_trs	TPDB.Input
getFunApp	TPDB.XTC.Read, TPDB.XTC
getFuncsym	TPDB.XTC.Read, TPDB.XTC
getProblem	TPDB.XTC.Read, TPDB.XTC
getRule	TPDB.XTC.Read, TPDB.XTC
getRules	TPDB.XTC.Read, TPDB.XTC
getSignature	TPDB.XTC.Read, TPDB.XTC
getStartterm	TPDB.XTC.Read, TPDB.XTC
getStrategy	TPDB.XTC.Read, TPDB.XTC
getTerm	TPDB.XTC.Read, TPDB.XTC
getTRS	TPDB.XTC.Read, TPDB.XTC
getType	TPDB.XTC.Read, TPDB.XTC
getVar	TPDB.XTC.Read, TPDB.XTC
get_srs	TPDB.Input
get_trs	TPDB.Input
gotoChild	TPDB.XTC.Read, TPDB.XTC