public interface TermVisitor
Modifier and Type | Method and Description |
---|---|
void |
visitAtom(Atom atom) |
boolean |
visitCompound(Compound compound) |
void |
visitFloat(FloatTerm floatTerm) |
void |
visitInteger(IntegerTerm integerTerm) |
void |
visitJRef(JRef<?> jRef) |
void |
visitSoftJRef(JRef<?> jRef) |
void |
visitVariable(AbstractVar variable) |
void |
visitWeakJRef(JRef<?> jRef) |
void visitInteger(IntegerTerm integerTerm)
void visitFloat(FloatTerm floatTerm)
void visitVariable(AbstractVar variable)
void visitAtom(Atom atom)
void visitJRef(JRef<?> jRef)
void visitSoftJRef(JRef<?> jRef)
void visitWeakJRef(JRef<?> jRef)
boolean visitCompound(Compound compound)
Copyright © 2014. All rights reserved.