conexp.fx.core.algorithm.nextclosures.mn

Class MatrixContextMN<G,M>

java.lang.Object

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

public final class MatrixContextMN<G,M>
extends Object

Constructor Summary

Constructors

Constructor and Description
MatrixContextMN(MatrixContext<G,M> cxt, Set<M> premises, Set<M> conclusions)

Method Summary

Modifier and Type	Method and Description
Set<M>	closureMN(Set<M> set)
Set<M>	intentM(Set<M> set)

Methods inherited from class java.lang.Object

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

Constructor Detail

MatrixContextMN

public MatrixContextMN(MatrixContext<G,M> cxt,
                       Set<M> premises,
                       Set<M> conclusions)

Method Detail

closureMN

public final Set<M> closureMN(Set<M> set)

intentM

public final Set<M> intentM(Set<M> set)