A | |
atom [ArForm] |
Atomic formula
|
atom_g [ArForm] | |
B | |
base [ArType] |
Random base symbol
|
base_g [ArType] | |
C | |
clause [ArForm] |
clause
|
clause_g [ArForm] | |
D | |
default [ArID] |
Set of symbols
|
default [ArType] |
Any type (polymorphic)
|
default [ArForm] |
polymorphic formula with connectives (DB-closed)
|
default [ArTerm.PT] |
Default polymorphic term
|
default [ArTerm] |
Default polymorphic term
|
default_fuel [ArForm] | |
default_fuel [ArTerm.PT] | |
default_fuel [ArTerm] | |
default_g [ArID] | |
default_g [ArType] | |
default_g [ArTerm.PT] | |
default_g [ArTerm] | |
G | |
ground [ArType] |
Ground type
|
ground [ArTerm.PT] |
Default ground monomorphic term
|
ground [ArTerm] |
Default ground monomorphic term
|
ground_g [ArType] | |
ground_g [ArTerm.PT] | |
ground_g [ArTerm] | |
P | |
pos [ArTerm] |
Random valid position in the term
|
pred [ArTerm.PT] |
predicates (type "prop")
|
pred [ArTerm] |
predicates (type "o")
|
pred_g [ArTerm.PT] | |
S | |
set [ArID] |
Arbitrary set of various symbols
|
set_g [ArID] | |
shrink [ArTerm.PT] | |
shrink [ArTerm] |