public class ReplaceVariableAdapter extends TermAdapter
contentHandler| Constructor and Description |
|---|
ReplaceVariableAdapter(TermContentHandler contentHandler,
Map<String,? extends Term> map) |
| Modifier and Type | Method and Description |
|---|---|
TermContentHandler |
startVariable(String name) |
endCompound, getContentHandler, startAtom, startCompound, startFloatTerm, startIntegerTerm, startJRefpublic ReplaceVariableAdapter(TermContentHandler contentHandler, Map<String,? extends Term> map)
public TermContentHandler startVariable(String name)
startVariable in interface TermContentHandlerstartVariable in class TermAdapterCopyright © 2014. All rights reserved.