Up: Oracles
The manual oracle co-operates with the IOzSeF search visualization
tool. Upon solving an input sentence, the IOzSeF Tree Viewer pops up,
but does not yet enumerate any solution. Instead, it shows only a grey
triangle. With Search->Next Solution (or by simply pressing
n), the next solution is explored. If there is a choice point,
then the manual oracle displays a window showing the partially solved
multigraph up until the choicepoint. By clicking the buttons
choice 1 and choice 2 with the right mouse button, the
manual oracle displays the edges which would be added if the left or
the right alternative would be chosen. The choices can then be taken
by clicking the corresponding buttons with the left mouse button.
The manual oracle can be started using the executable
ManualOracleServer.exe
in Oracles/ManualOracle. The --port-option makes the
oracle use a port other than the default port 4711. E.g.:
ManualOracleServer.exe --port=42
makes the oracle use port 42. This can be also be shortened to:
ManualOracleServer.exe -p 42