Class PremiseVisitorBuilder<I,O>

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder<I,O>

public class PremiseVisitorBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
PremiseVisitorBuilder()

Method Summary

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	onAnnotatedAtom(BiFunction<AnnotatedAtom, I, O> onAnnotatedAtom)
PremiseVisitorBuilder<I,O>	onBinaryDisunifier(BiFunction<BinaryDisunifier, I, O> onBinaryDisunifier)
PremiseVisitorBuilder<I,O>	onBinaryUnifier(BiFunction<BinaryUnifier, I, O> onBinaryUnifier)
PremiseVisitorBuilder<I,O>	onNegatedAtom(BiFunction<NegatedAtom, I, O> onNegatedAtom)
PremiseVisitorBuilder<I,O>	onPositiveAtom(BiFunction<PositiveAtom, I, O> onPositiveAtom)
PremiseVisitor<I,O>	or(BiFunction<Premise,I,O> f)
PremiseVisitor<I,O>	orCrash()
PremiseVisitor<I,O>	orNull()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PremiseVisitorBuilder

public PremiseVisitorBuilder()

Method Details

onPositiveAtom

public PremiseVisitorBuilder<I,O> onPositiveAtom(BiFunction<PositiveAtom, I, O> onPositiveAtom)

onNegatedAtom

public PremiseVisitorBuilder<I,O> onNegatedAtom(BiFunction<NegatedAtom, I, O> onNegatedAtom)

onBinaryUnifier

public PremiseVisitorBuilder<I,O> onBinaryUnifier(BiFunction<BinaryUnifier, I, O> onBinaryUnifier)

onBinaryDisunifier

public PremiseVisitorBuilder<I,O> onBinaryDisunifier(BiFunction<BinaryDisunifier, I, O> onBinaryDisunifier)

onAnnotatedAtom

public PremiseVisitorBuilder<I,O> onAnnotatedAtom(BiFunction<AnnotatedAtom, I, O> onAnnotatedAtom)

or

public PremiseVisitor<I,O> or(BiFunction<Premise,I,O> f)

orCrash

public PremiseVisitor<I,O> orCrash()

orNull

public PremiseVisitor<I,O> orNull()