Package org.tweetyproject.arg.adf.transform

Interface Collector<U,D>

Type Parameters:

U - the type of the additional result the collector may provide

D - the type of the objects we want to collect

All Known Implementing Classes:

AbstractCollector, TseitinTransformer

public interface Collector<U,D>

The concept of a collector is similar to its sibling Transformer, we want to transform an AcceptanceCondition into a different structure. A collector is however more flexible since it may provide two different results, one is computed while traversing through the acceptance condition beginning from the root to its leaves and the other one is computed on the way back from the leaves to the root.

This is best illustrated by an example, e.g. TseitinTransformer which transforms an acceptance condition into a set of clauses. It starts top-down by rewriting the root connective while the names of the sub-clauses are computed bottom-up.

To minimize the effort for developers see AbstractCollector.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
default U	collect(AcceptanceCondition acc, Collection<D> collection)	Traverses through the given AcceptanceCondition and adds all the collected data to the provided collection.
U	collect(AcceptanceCondition acc, Consumer<D> consumer)	Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.

Method Details

collect

default U collect(AcceptanceCondition acc,
 Collection<D> collection)

Traverses through the given AcceptanceCondition and adds all the collected data to the provided collection.

Parameters:

acc - the acceptance condition

collection - the collection which we use to store the collected data

Returns:

the result we may compute while collecting data

collect

U collect(AcceptanceCondition acc,
 Consumer<D> consumer)

Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.

Parameters:

acc - the acceptance condition

consumer - the consumer which is used as a callback for the collected data.

Returns:

the result we may compute while collecting data