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

tpdb-2.7.3: Data Type for Rewriting Systems

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

Index - G

get
1 (Function)	TPDB.Input.Memory
2 (Function)	TPDB.Input.File, TPDB.Input
getACTerminationInput	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getComplexityClass	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getComplexityInput	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getComplexityMeasure	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getDummy	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getE	TPDB.Input.File, TPDB.Input
getE_trs	TPDB.Input.File, TPDB.Input
getFunApp	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getInput	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getProof	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getRule	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getRulesWith	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getSymbol	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getTerm	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getTerminationInput	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getTrsInput	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
getVar	TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml
get_srs	TPDB.Input.File, TPDB.Input
get_trs	TPDB.Input.File, TPDB.Input