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, startJRef
public ReplaceVariableAdapter(TermContentHandler contentHandler, Map<String,? extends Term> map)
public TermContentHandler startVariable(String name)
startVariable
in interface TermContentHandler
startVariable
in class TermAdapter
Copyright © 2014. All rights reserved.