| Package | Description |
|---|---|
| com.articulate.sigma |
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
|
| Modifier and Type | Field and Description |
|---|---|
java.util.ArrayList<BasicXMLelement> |
BasicXMLparser.elements
An ArrayList of BasicXMLelement(s).
|
java.util.ArrayList<BasicXMLelement> |
BasicXMLelement.subelements
Any subelements of the tag, meaning any other
tags that are nested within this one.
|
| Modifier and Type | Method and Description |
|---|---|
void |
User.fromXML(BasicXMLelement xml)
Read in an XML object
|
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
HTMLformatter.formatProofResult(java.util.ArrayList<BasicXMLelement> proof,
java.lang.String stmt,
java.lang.String processedStmt,
java.lang.String lineHtml,
java.lang.String kbName,
java.lang.String language,
int answerOffset) |
| Constructor and Description |
|---|
ProofProcessor(java.util.ArrayList<BasicXMLelement> xmlInput)
Take an ArrayList of BasicXMLelement (s) and process them as
needed
|