Interface TermVisitor<I,O>

All Known Implementing Classes:
DefaultTermVisitor

public interface TermVisitor<I,O>
  • Method Summary

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