Interface Visitor<U,D>
- Type Parameters:
U
- the bottom-up informationD
- the top-down information
public interface Visitor<U,D>
A general and easy-to-use interface which allows for type-safe operations on the
AcceptanceCondition
hierarchy.- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptionvisit(ConjunctionAcceptanceCondition acc, D topDownData)
visit(ContradictionAcceptanceCondition acc, D topDownData)
visit(DisjunctionAcceptanceCondition acc, D topDownData)
visit(EquivalenceAcceptanceCondition acc, D topDownData)
visit(ExclusiveDisjunctionAcceptanceCondition acc, D topDownData)
visit(ImplicationAcceptanceCondition acc, D topDownData)
visit(NegationAcceptanceCondition acc, D topDownData)
visit(TautologyAcceptanceCondition acc, D topDownData)
-
Method Details
-
visit
-
visit
-
visit
-
visit
-
visit
-
visit
-
visit
-
visit
-
visit
-