The TheseusBox API

Contents

  1. What is the TheseusBox API?
  2. How do I use it?
  3. API Documentation

1. What is the TheseusBox API?

TheseusBox is the name of an API that allows you to easily incorporate Theseus functionality into your existing Java applications. Using TheseusBox involves calling a special library function with a plan (in plaintext or in a file) and input data (in plaintext or as Relation objects) and then unwrapping its output.

2. How do I use it?

To use the TheseusBox API, you simply need to do the following:

As an example, consider the following code:

When this code is run, the following is output: Notice that all that was necessary was to call the TheseusBox excutePlan() method, supplying a plaintext plan and an array of Relation objects.

The complete code for this example can be found in the "src" directory of your Theseus installation.

3. API Documentation

Complete API documentation for TheseusBox is available.