A B C D E F G H I L M N O P R S T U W X Y Z

L

labelCompositeStates(FSAModel) - Static method in class ides.api.presentation.fsa.FSAStateLabeller

Labels in a human-readable way the states in models obtained by composing a number of other models (e.g., by calling the "product" or "sync" operations).

labelStringToImageBytes(String) - Static method in class ides.api.latex.LatexUtils

Renders a string into a PNG image.

latex2EPS(String, File) - Method in class ides.api.latex.Renderer

Convert the first page of a LaTeX document into an EPS file.

latex2EPS(File, File) - Method in class ides.api.latex.Renderer

Convert the first page of a LaTeX document into an EPS file.

latex2EPS(InputStream, File) - Method in class ides.api.latex.Renderer

Convert the first page of a LaTeX document into an EPS file.

latex2PNG(File, int) - Method in class ides.api.latex.Renderer

Renders the first page of the LaTeX document contained in a file into an uncropped image.

LatexElement - Interface in ides.api.latex

An element of a LatexPresentation for which LaTeX rendering is used.

LatexManager - Interface in ides.api.latex

Interface for the coordinator of LaTeX rendering in IDES.

latexPath - Variable in class ides.api.latex.Renderer

The path to latex+dvips

LatexPresentation - Interface in ides.api.latex

A Presentation which contains elements to be rendered with LaTeX.

LatexRenderException - Exception in ides.api.latex

Exception used by Renderer to announce problems pertaining to LaTeX rendering.

LatexRenderException() - Constructor for exception ides.api.latex.LatexRenderException

LatexRenderException(String) - Constructor for exception ides.api.latex.LatexRenderException

LatexRenderException(Throwable) - Constructor for exception ides.api.latex.LatexRenderException

LatexRenderException(String, Throwable) - Constructor for exception ides.api.latex.LatexRenderException

LatexUtils - Class in ides.api.latex

Provides some methods useful when rendering LaTeX elements.

launchBrowser(String) - Static method in class ides.api.utilities.GeneralUtils

Attempts to open a browser in the host OS and load the provided URL.

layout(FSAModel) - Method in interface ides.api.plugin.layout.FSALayouter

Compute the locations of the states of an FSAModel.

layouters - Variable in class ides.api.plugin.layout.FSALayoutManager

The indexed set of all registered layouters.

load(File) - Method in interface ides.api.plugin.io.IOSubsytem

Load a DES model from a file.

loadData(String, InputStream, String) - Method in interface ides.api.plugin.io.FileIOPlugin

Load a DES model from the provided stream.

loadMeta(String, InputStream, DESModel, String) - Method in interface ides.api.plugin.io.FileIOPlugin

Loads meta-data for a given DES model from a meta-data section.