conexp.fx.core.exporter

Class HTMLExporter<G,M>

java.lang.Object

conexp.fx.core.exporter.HTMLExporter<G,M>

public class HTMLExporter<G,M>
extends Object

Constructor Summary

Constructors

Constructor and Description
HTMLExporter()

Method Summary

Modifier and Type	Method and Description
static <G,M> void	export(MatrixContext<G,M> context, Map<Integer,Integer> domainPermutation, Map<Integer,Integer> codomainPermutation, AdditiveConceptLayout<G,M> layout, boolean exportArrows, boolean exportLabels, File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

HTMLExporter

public HTMLExporter()

Method Detail

export

public static <G,M> void export(MatrixContext<G,M> context,
                                Map<Integer,Integer> domainPermutation,
                                Map<Integer,Integer> codomainPermutation,
                                AdditiveConceptLayout<G,M> layout,
                                boolean exportArrows,
                                boolean exportLabels,
                                File file)