To find partially defined transducers, this method has the states in all trajectories as the logic variables. Then the individual maps are extracted and used to define the partial transformations. This method is inefficient as complexity of the search grows with the number and the length of the input words.
To find partially defined transducers, this method has the states in all trajectories as the logic variables. Then the individual maps are extracted and used to define the partial transformations. This method is inefficient as complexity of the search grows with the number and the length of the input words.
(compatible-collo coll)Succeeds if all the mappings in the collection are compatible with each other. O(n^2)
Succeeds if all the mappings in the collection are compatible with each other. O(n^2)
(compatible-with-collo m coll)Succeeds if the given mapping is compatible with all the mappings in the collection.
Succeeds if the given mapping is compatible with all the mappings in the collection.
(compatiblo m1 m2)This goal succeeds if the two mappings are compatible, i.e. they can be in the same transformation, they define a function.
This goal succeeds if the two mappings are compatible, i.e. they can be in the same transformation, they define a function.
(mappings-from-trajectories inputs trajectories)It extracts the individual mappings from the trajectories and the corresponding input symbol. Returns a map with input symbols as keys and list of pairs (from,to) defining individual maps.
It extracts the individual mappings from the trajectories and the corresponding input symbol. Returns a map with input symbols as keys and list of pairs (from,to) defining individual maps.
(trajectory-logic-variables modded-io-pairs)It prepares the trajectory logic variables based on the modified input-output pairs. The first state is 0 by default, the last one is the output, everything in between new logic variables.
It prepares the trajectory logic variables based on the modified input-output pairs. The first state is 0 by default, the last one is the output, everything in between new logic variables.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |