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

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 - I

Identifier
1 (Type/Class)	TPDB.Data.Identifier, TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type
2 (Data Constructor)	TPDB.Data.Identifier, TPDB.Data, TPDB.XTC
ignoredOrigin	TPDB.CPF.Proof.Type
indent	TPDB.Pretty
indexed	TPDB.DP.Graph
Innermost	TPDB.Data, TPDB.XTC
input	TPDB.CPF.Proof.Type
Interpret
1 (Type/Class)	TPDB.CPF.Proof.Type
2 (Data Constructor)	TPDB.CPF.Proof.Type
Interpretation
1 (Type/Class)	TPDB.CPF.Proof.Type
2 (Data Constructor)	TPDB.CPF.Proof.Type
Interpretation_Type	TPDB.CPF.Proof.Type
interpretation_type	TPDB.CPF.Proof.Type
interprets	TPDB.CPF.Proof.Type
isMarked	TPDB.DP.Transform, TPDB.DP
isOriginal	TPDB.DP.Transform, TPDB.DP
isStrictSubtermOf	TPDB.Data.Term, TPDB.Data, TPDB.XTC
isSubtermOf	TPDB.Data.Term, TPDB.Data, TPDB.XTC
isvar	TPDB.Data.Term, TPDB.Data, TPDB.XTC