- canAddEdge(VxNode, VxNode) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
- canAddEdge(VxNode, VxNode) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
- canAddLabel(VxEdge) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
- canAddLabel(VxEdge) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
- canAddNode(VxGraph) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
-
This implementation simply returns true.
- canAddNode(VxGraph) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
-
This implementation simply returns true.
- canEditLabel(VxNode) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditSynchronizer
- canEditLabel(VxNode) - Method in class de.uni_due.inf.ti.dragom.gui.RuleEditSynchronizer
- clearDotSource() - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
- clone() - Method in class de.uni_due.inf.ti.dragom.data.AnnotatedTypeGraph
-
Returns a copy of this graph
- CMD_ABOUT - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_ADD_MULTIPLICITY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_ADD_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_APPLY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_CANCEL - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_CHECK_INCLUSION - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_CLOSE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_COMPUTE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_EXIT - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_GTS - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_GTS_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_INVARIANT_CHECK - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_LOAD - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_MATERIALIZATION - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_MAXIMIZE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_NEW - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_NO - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_OKAY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_POSTCONDITION - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_PRINT_LANGUAGE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_REMOVE_MULTIPLICITY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_REMOVE_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_SAVE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_SWITCH_MULTIPLICITY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_SWITCH_RULE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_TOGGLE_SIMPLIFY - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_TYPE_GRAPH - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_USE_THESE_PROPERTIES - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_WEBSITE - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- CMD_YES - Static variable in interface de.uni_due.inf.ti.dragom.general.ResourceKeys
-
- computeLanguage() - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm
-
- computeMaterialization() - Method in class de.uni_due.inf.ti.dragom.algorithms.MaterializationConstructionAlgorithm
-
Materializazion algorithm main function
- computePostcondition() - Method in class de.uni_due.inf.ti.dragom.algorithms.PostconditionConstructionAlgorithm
-
Postcondition algorithm main function
- connectionStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- COPYRIGHT - Static variable in class de.uni_due.inf.ti.dragom.main.Main
-
- createAndShowGui() - Method in class de.uni_due.inf.ti.dragom.gui.MainFrame
-
Creates the controls on this frame and shows this frame.
- createdArityStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createdConnectionStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createdEdgeStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createdHyperedgeStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createdLabelStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createdNodeStyleName - Static variable in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- createFolderTree(String) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
Creates all needed folders to save files in their appropriate language
- createTMPFolder() - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter
-
Creates all needed folders to save files in their appropriate language