kbcv

package kbcv

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.

Visibility
  1. Public
  2. All

Value Members

  1. object Scripting extends AnyRef

    This object provides communication to a linux shell.

  2. def digits (x: Int): Int

    Computes the number of digits needed for a decimal number.

    Computes the number of digits needed for a decimal number.

    x

    a decimal number

    Definition Classes
    package
  3. package model

  4. package view