conexp.fx.core.algorithm.nextclosure

Class NextImplication<G,M>

java.lang.Object

conexp.fx.core.algorithm.nextclosure.NextImplication<G,M>

All Implemented Interfaces:

Iterable<de.tudresden.inf.tcs.fcalib.Implication<M>>

public final class NextImplication<G,M>
extends Object
implements Iterable<de.tudresden.inf.tcs.fcalib.Implication<M>>

Constructor Summary

Constructors

Constructor and Description
NextImplication(MatrixContext<G,M> context)

Method Summary

Modifier and Type	Method and Description
static <G,M> TimeTask<Void>	implications(MatrixContext<G,M> context, List<de.tudresden.inf.tcs.fcalib.Implication<M>> implications)
Iterator<de.tudresden.inf.tcs.fcalib.Implication<M>>	iterator()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

NextImplication

public NextImplication(MatrixContext<G,M> context)

Method Detail

implications

public static final <G,M> TimeTask<Void> implications(MatrixContext<G,M> context,
                                                      List<de.tudresden.inf.tcs.fcalib.Implication<M>> implications)

iterator

public final Iterator<de.tudresden.inf.tcs.fcalib.Implication<M>> iterator()

Specified by:

iterator in interface Iterable<de.tudresden.inf.tcs.fcalib.Implication<M>>