Interface PremiseVisitor<I,O>

All Known Implementing Classes:

CrashPremiseVisitor, DefaultConjunctVisitor

public interface PremiseVisitor<I,O>

Method Summary

Modifier and Type	Method	Description
O	visit(BinaryDisunifier u, I state)
O	visit(BinaryUnifier u, I state)
O	visit(NegatedAtom atom, I state)
O	visit(PositiveAtom atom, I state)
O	visit(AnnotatedAtom atom, I state)

Method Details

visit

O visit(PositiveAtom atom,
 I state)

visit

O visit(AnnotatedAtom atom,
 I state)

visit

O visit(BinaryUnifier u,
 I state)

visit

O visit(BinaryDisunifier u,
 I state)

visit

O visit(NegatedAtom atom,
 I state)