conexp.fx.core.algorithm.nextclosures.mn

Class NextClosuresMN<G,M>

java.lang.Object

conexp.fx.core.algorithm.nextclosures.mn.NextClosuresMN<G,M>

public class NextClosuresMN<G,M>
extends Object

Constructor Summary

Constructors

Constructor and Description
NextClosuresMN()

Method Summary

Modifier and Type	Method and Description
static <G,M> ResultMN<G,M>	compute(MatrixContext<G,M> cxt, Set<M> premises, Set<M> conclusions)

Methods inherited from class java.lang.Object

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

Constructor Detail

NextClosuresMN

public NextClosuresMN()

Method Detail

compute

public static final <G,M> ResultMN<G,M> compute(MatrixContext<G,M> cxt,
                                                Set<M> premises,
                                                Set<M> conclusions)