A B C D E F G H I J K L M N O P Q R S T U V

C

calcNaturalCubic(int, int[]) - Method in class pipe.dataLayer.ArcPath
 
cardinalityCondition() - Method in class pipe.dataLayer.PNMatrix
Check if a matrix has a row that satisfies the cardinality condition 1.1.b of the algorithm.
cardinalityOne() - Method in class pipe.dataLayer.PNMatrix
Find the column index of the element in the pPlus or pMinus set, where pPlus or pMinus has cardinality == 1.
centreOffsetLeft() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
centreOffsetTop() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
changeAnimationMode(boolean) - Method in class pipe.gui.GuiView
 
changeText(int) - Method in class pipe.gui.StatusBar
 
changeText(String) - Method in class pipe.gui.StatusBar
 
checkCase11() - Method in class pipe.dataLayer.PNMatrix
Check if a matrix satisfies condition 1.1 of the algorithm.
checkForSave() - Method in class pipe.gui.GuiFrame
If current net has modifications, asks if you want to save and does it if you want.
checkForSaveAll() - Method in class pipe.gui.GuiFrame
 
chol() - Method in class jama.Matrix
Cholesky Decomposition
CholeskyDecomposition - class jama.CholeskyDecomposition.
Cholesky Decomposition.
CholeskyDecomposition(Matrix) - Constructor for class jama.CholeskyDecomposition
Cholesky algorithm for symmetric and positive definite matrix.
Classification - class pipe.modules.classification.Classification.
Classification class implements petri net classification
Classification() - Constructor for class pipe.modules.classification.Classification
 
clearSelection() - Method in class pipe.gui.SelectionObject
 
clone() - Method in class pipe.dataLayer.PNMatrix
Clone the IntMatrix object.
clone() - Method in class jama.Matrix
Clone the Matrix object.
CMinus - Variable in class pipe.dataLayer.calculations.myTree
 
colsToUpdate() - Method in class pipe.dataLayer.PNMatrix
Find the comlumn indices to be changed by linear combination.
compareMarking(int[], int[]) - Method in class pipe.dataLayer.calculations.StateList
 
Comparison - class pipe.modules.comparison.Comparison.
 
Comparison() - Constructor for class pipe.modules.comparison.Comparison
 
cond() - Method in class jama.SingularValueDecomposition
Two norm condition number
cond() - Method in class jama.Matrix
Matrix condition (2 norm)
Constants - interface pipe.gui.Constants.
 
construct() - Method in class pipe.modules.dnamaca.SwingWorker
Compute the value to be returned by the get method.
constructWithCopy(double[][]) - Static method in class jama.Matrix
Construct a matrix from a copy of a 2-D array.
constructWithCopy(int[][]) - Static method in class pipe.dataLayer.PNMatrix
Construct a matrix from a copy of a 2-D array.
contains(double, double) - Method in class pipe.gui.ArrowHead
 
contains(double, double) - Method in class pipe.dataLayer.ArcPath
 
contains(double, double, double, double) - Method in class pipe.gui.ArrowHead
 
contains(double, double, double, double) - Method in class pipe.dataLayer.ArcPath
 
contains(int, int) - Method in class pipe.gui.SelectionObject
 
contains(int, int) - Method in class pipe.dataLayer.AnnotationNote
 
contains(int, int) - Method in class pipe.dataLayer.Arc
 
contains(int, int) - Method in class pipe.dataLayer.Place
 
contains(int, int) - Method in class pipe.dataLayer.Transition
 
contains(Point2D) - Method in class pipe.gui.ArrowHead
 
contains(Point2D) - Method in class pipe.dataLayer.ArcPath
 
contains(Rectangle2D) - Method in class pipe.gui.ArrowHead
 
contains(Rectangle2D) - Method in class pipe.dataLayer.ArcPath
 
copy() - Method in class pipe.dataLayer.PNMatrix
Make a deep copy of a matrix
copy() - Method in class jama.Matrix
Make a deep copy of a matrix
CPlus - Variable in class pipe.dataLayer.calculations.myTree
 
createArc - Variable in class pipe.gui.GuiView
 
CreateGui - class pipe.gui.CreateGui.
 
CreateGui() - Constructor for class pipe.gui.CreateGui
 
createNewTab(String) - Method in class pipe.gui.GuiFrame
Creates a new tab with the selected file, or a new file if filename==null
createPath() - Method in class pipe.dataLayer.ArcPath
 
CREATING - Static variable in interface pipe.gui.Constants
 
currentPNMLData() - Static method in class pipe.gui.CreateGui
returns the current dataLayer object - used to get a reference to pass to the modules
CURVED - Static variable in class pipe.dataLayer.ArcPathPoint
 

A B C D E F G H I J K L M N O P Q R S T U V