This is the main package for kbcv.
The 'Knuth-Bendix Completion Visualizer' is a tool to help understand the
mechanisms behind completion procedures. Its intended use is in combination
with a lecture where the student gets insights in the theory behind
completion.
Overview
There is only one object kbcv.Scripting directly in this package.
The rest is split into the model and view subpackages.
This is the main package for kbcv. The 'Knuth-Bendix Completion Visualizer' is a tool to help understand the mechanisms behind completion procedures. Its intended use is in combination with a lecture where the student gets insights in the theory behind completion.
Overview
There is only one object kbcv.Scripting directly in this package. The rest is split into the model and view subpackages.