Package | Description |
---|---|
conexp.fx.core.algorithm.nextclosure | |
conexp.fx.core.collections |
Modifier and Type | Method and Description |
---|---|
static <G,M> Iterable<Either<Concept<G,M>,Implication<G,M>>> |
NextClosure.implications(MatrixContext<G,M> cxt) |
Modifier and Type | Method and Description |
---|---|
static <L,R> Either<L,R> |
Either.ofLeft(L left) |
static <L,R> Either<L,R> |
Either.ofRight(R right) |
Copyright © 2010–2023 Francesco Kriegel. All rights reserved.