A C D E F G H I L M N P R S T U V W

L

LAB_ANNOTATED_TYPE_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_CURRENT_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_INTERFACE_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_LEFT_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_MATERIALIZATION_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_POSTCONDITION_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_POSTCONDITION_MORPHISM - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_RIGHT_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_SELECT_ANNOTATION - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_SELECT_MATCH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_SELECT_MORPHISM - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_SELECT_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LAB_SYSTEMS - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

LABEL_VERSION - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys

labelStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer

LanguageAlgorithm - Class in de.uni_due.inf.ti.dragom.algorithms

Algorithm to compute and print a type graph language.

LanguageAlgorithm() - Constructor for class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

LanguageAlgorithm(AnnotatedTypeGraph) - Constructor for class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

LanguagePrinter - Class in de.uni_due.inf.ti.dragom.io

Writes a graph language abstracted by an annotated type graph.

LanguagePrinter() - Constructor for class de.uni_due.inf.ti.dragom.io.LanguagePrinter

Constructor: creates a new GraphViz object that will contain a graph.

layouter - Variable in class de.uni_due.inf.ti.dragom.gui.GuiOptions

logCloseBehaviour - Variable in class de.uni_due.inf.ti.dragom.gui.GuiOptions

A C D E F G H I L M N P R S T U V W