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