Package | Description |
---|---|
wssl.validator |
Modifier and Type | Method and Description |
---|---|
static void |
Validator.CompareCompoundTerms(DOMParser2 parser,
com.parctechnologies.eclipse.CompoundTerm query,
com.parctechnologies.eclipse.CompoundTerm result)
Compares
CompoundTerm query (sent to Eclipse) with CompoundTerm result
(returned from ECLiPSe) in order to extract variable instantiations and
prints them to System.out. |