conexp.fx.core.exporter

Class TeXExporter<G,M>

java.lang.Object

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

public class TeXExporter<G,M>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TeXExporter.ContextTeXPackage
static class	TeXExporter.DiagramTeXPackage
static class	TeXExporter.FitHeightScale
static class	TeXExporter.FitRatioScale
static class	TeXExporter.FitScale
static class	TeXExporter.FitWidthScale
static class	TeXExporter.ScaleEnum
static class	TeXExporter.ScaleOption
static class	TeXExporter.TeXOptions

Constructor Summary

Constructors

Constructor and Description
TeXExporter(MatrixContext<G,M> formalContext, Map<Integer,Integer> objectPermutation, Map<Integer,Integer> attributePermutation, AdditiveConceptLayout<G,M> conceptLayout, TeXExporter.TeXOptions teXOptions)

Method Summary

Modifier and Type	Method and Description
void	export()

Methods inherited from class java.lang.Object

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

Constructor Detail

TeXExporter

public TeXExporter(MatrixContext<G,M> formalContext,
                   Map<Integer,Integer> objectPermutation,
                   Map<Integer,Integer> attributePermutation,
                   AdditiveConceptLayout<G,M> conceptLayout,
                   TeXExporter.TeXOptions teXOptions)

Method Detail

export

public final void export()
                  throws IOException

Throws:

IOException