Interface TermVisitor<I,O>

All Known Implementing Classes:
DefaultTermVisitor
public interface TermVisitor<I,O>

  • Method Summary

    Modifier and Type
    Method
    Description
    O
    visit(Constant t, I state)
     
    O
    visit(Variable t, I state)