Package edu.harvard.seas.pl.abcdatalog.ast.visitors

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)