Interface HeadVisitor<I,O>

All Known Implementing Classes:
CrashHeadVisitor
public interface HeadVisitor<I,O>

  • Method Summary

    Modifier and Type
    Method
    Description
    O
    visit(PositiveAtom atom, I state)