| summaryrefslogtreecommitdiff |
path: root/prop-to-pred
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-27 16:02:38 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-27 16:02:38 +0200 |
| commit | a3b507f3d2ce6041d29e154e11011d1f963e1a19 (patch) | |
| tree | 9571ec3a02e754067516042d4a80e5aa8cc1a42d /prop-to-pred | |
| parent | 4e38a30f78a9fbe6287b310139ecc10aef6d398f (diff) | |
Limits the creation of atom-relations to "String".
The need for those relations is limited to the access of their atom in
the formula. As, with the exception of String elements, the formula
cannot directly reference an atom, only String atoms require their own
relation. Going even further, only the String element referenced in the
formula need their own relation.
Diffstat (limited to 'prop-to-pred')
0 files changed, 0 insertions, 0 deletions