Context { public static <G extends Relatable<?>> Context down(final CompleteLattice lattice) { List<Object> elements = Arrays.asList(lattice.toArray()); return new Context(elements, elements, new LessOrEqual()); } private  Context(final List<G> objects,
                    final List<M> attributes,
                    final BinaryRelation relation); static Builder builder(); CrossTable asCrossTable(); ConceptLattice asConceptLattice(final Graph graph); static Context down(final CompleteLattice lattice); static Context downset(final CompleteLattice lattice); static Context powerset(final List<G> set); static Context antichain(final List<G> set); static List<Long> indexes(final MutableBitSet bits); List<G> getObjects(); List<M> getAttributes(); BinaryRelation getRelation(); List decodeExtent(final Concept concept); List decodeIntent(final Concept concept); @Override String toString();  }
@Test public void testDown() { Context powerset = Context.powerset(ABC); ConceptLattice lattice = powerset.asConceptLattice(new TinkerGraph()); ConceptLattice downset = Context.down(lattice).asConceptLattice(new TinkerGraph()); }