Index

B | D | G | I | M | N | O | Q | R | S | T

B

built-in function

D

defaultValue (Term property)

G

getTerms()
- built-in function

I

inside_equalnames (Term property)

M

matchFunction()
- built-in function
matchList()
- built-in function
matchName()
- built-in function
matchOp()
- built-in function

matchTermSequence()
- built-in function
matchToken()
- built-in function
matchTree()
- built-in function

N

names (Term property)

O

outside_equalnames (Term property)

Q

quantifier (Term property)

R

rewrite()
- built-in function

S

simplify()
- built-in function

T

Term (built-in class)