Am 20.01.2014 um 14:37 schrieb Malte Isberner <notifications@github.com>:

> In filters/reuse/src/main/java/de/learnlib/filters/reuse/ReuseCapableOracleFactory.java:
> 
> > @@ -0,0 +1,18 @@
> > +package de.learnlib.filters.reuse;
> > +
> > +/**
> > + * A factory which is able to create {@link de.learnlib.filters.reuse.ReuseCapableOracle}s
> > + * to be used by a {@link de.learnlib.filters.reuse.ReuseOracle} in a thread-safe manner.
> > + *
> > + * @param <S>
> > + * 		The system state used by the reuse oracle
> > + * @param <I>
> > + * 		The input type
> > + * @param <O>
> > + * 		The output type
> > + */
> > +public interface ReuseCapableOracleFactory<S,I,O> {
> 
> Is this interface really necessary? Since we depend on Guava, Supplier<? extends ReuseCapableOracle<S,I,O>> might be more appropriate and convenient.

Did not know, that you use guava. This is code we did for the old learnlib. I’m not used to the build setup of the new learnlib. Good to know.