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

P

Postcondition - Class in de.uni_due.inf.ti.dragom.data

Class of postconditions.

Postcondition(AnnotatedTypeGraph, Set<Node>, Set<Edge>) - Constructor for class de.uni_due.inf.ti.dragom.data.Postcondition

Constructor of the postcondition

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

Algorithm to compute the postcondition of a graph language wrt. a GTS.

PostconditionConstructionAlgorithm(Rule, Morphism) - Constructor for class de.uni_due.inf.ti.dragom.algorithms.PostconditionConstructionAlgorithm

Constructor for the Postcondition algorithm

printCurrentEdgePowersets(ArrayList<ArrayList<Integer>>) - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

printCurrentPowersets() - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

printFinalEdgeChoices() - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

printFinalNodeChoices() - Method in class de.uni_due.inf.ti.dragom.algorithms.LanguageAlgorithm

Prints the bitNodeSelections List (which contains all possible node selection possibilities)

printGraph(AnnotatedTypeGraph, String, String) - Method in class de.uni_due.inf.ti.dragom.io.LanguagePrinter

propertyChange(PropertyChangeEvent) - Method in class de.uni_due.inf.ti.dragom.io.GTSChooser

Called when a property of the JFileChooser changes.

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