public class Editor extends Object
| Constructor and Description |
|---|
Editor() |
| Modifier and Type | Method and Description |
|---|---|
static String |
createFormPage(KB kb,
String term,
Formula f)
Create an HTML form for editing facts about a term.
|
static void |
main(String[] args)
A test method.
|
Copyright © 2015. All rights reserved.