public class MatrixUtilsL
extends java.lang.Object
Constructor and Description |
---|
MatrixUtilsL() |
Modifier and Type | Method and Description |
---|---|
static LDSetsL |
addSelfLoop(InteractiveMatrixNetL imn,
java.lang.Integer rowID) |
static boolean |
canTraceBeReplayed(org.ejml.simple.SimpleMatrix t_Inci,
org.ejml.simple.SimpleMatrix t_MfMinusMi,
java.util.Map<java.lang.Integer,java.lang.Integer> coeffs) |
static org.ejml.simple.SimpleMatrix |
createInciMap(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.ejml.simple.SimpleMatrix |
createInciMapWithoutSomeTrans(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> exclTrans,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.ejml.simple.SimpleMatrix |
createInitialAnOrFinalMarking(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static org.ejml.simple.SimpleMatrix |
createSequence(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans,
org.ejml.simple.SimpleMatrix im) |
static org.apache.commons.math3.optim.PointValuePair |
getNodesInBetween(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol,
org.ejml.simple.SimpleMatrix linDepMatrix,
int indexOfNewNodeInInciMat) |
static org.ejml.simple.SimpleMatrix |
getSCIncidenceMatrix2(org.ejml.simple.SimpleMatrix incidenceMatrix,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static void |
initiate(InteractivePetriNetL ipn) |
static void |
initiateMidToEndTran(InteractiveMatrixNetL imn) |
static boolean |
isAugMatLD(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol,
org.ejml.simple.SimpleMatrix linDepMatrix) |
static boolean |
isAugMatLDNeg(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol,
org.ejml.simple.SimpleMatrix linDepMatrix) |
static void |
printMatrix(org.ejml.simple.SimpleMatrix matrix) |
static void |
splitInciMat(org.ejml.simple.SimpleMatrix inciMat,
org.ejml.simple.SimpleMatrix withoutLDCol,
org.ejml.simple.SimpleMatrix ldCol,
int colToExclude) |
static void |
updateHistoryTab(InteractivePetriNetL ipn) |
static void |
updatePlaceLD(InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<java.lang.Integer> oldTranIDs,
java.lang.Integer newCol) |
static void |
updatePlaceLDForNewTran(InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.lang.Integer tNewID) |
static void |
updatePlaceLDNonSiphons(InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static void |
updateTranLD(InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<java.lang.Integer> oldPlaceIDs,
java.lang.Integer newRow) |
static void |
updateTranLDForNewPlace(InteractiveMatrixNetL imn,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.lang.Integer pNewID) |
public static void initiate(InteractivePetriNetL ipn)
public static void updateTranLD(InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<java.lang.Integer> oldPlaceIDs, java.lang.Integer newRow)
public static org.ejml.simple.SimpleMatrix createInciMap(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.ejml.simple.SimpleMatrix createInciMapWithoutSomeTrans(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> exclTrans, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static void updatePlaceLD(InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<java.lang.Integer> oldTranIDs, java.lang.Integer newCol)
public static void updatePlaceLDNonSiphons(InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static void printMatrix(org.ejml.simple.SimpleMatrix matrix)
public static void updateTranLDForNewPlace(InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.lang.Integer pNewID)
public static void splitInciMat(org.ejml.simple.SimpleMatrix inciMat, org.ejml.simple.SimpleMatrix withoutLDCol, org.ejml.simple.SimpleMatrix ldCol, int colToExclude)
public static org.ejml.simple.SimpleMatrix getSCIncidenceMatrix2(org.ejml.simple.SimpleMatrix incidenceMatrix, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static void updatePlaceLDForNewTran(InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.lang.Integer tNewID)
public static LDSetsL addSelfLoop(InteractiveMatrixNetL imn, java.lang.Integer rowID)
public static void initiateMidToEndTran(InteractiveMatrixNetL imn)
public static org.apache.commons.math3.optim.PointValuePair getNodesInBetween(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol, org.ejml.simple.SimpleMatrix linDepMatrix, int indexOfNewNodeInInciMat)
public static boolean isAugMatLD(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol, org.ejml.simple.SimpleMatrix linDepMatrix)
public static boolean isAugMatLDNeg(org.ejml.simple.SimpleMatrix inciMatrixWithoutLastCol, org.ejml.simple.SimpleMatrix linDepMatrix)
public static void updateHistoryTab(InteractivePetriNetL ipn)
public static org.ejml.simple.SimpleMatrix createSequence(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tranInciMap, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans, org.ejml.simple.SimpleMatrix im)
public static org.ejml.simple.SimpleMatrix createInitialAnOrFinalMarking(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> placeInciMap, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static boolean canTraceBeReplayed(org.ejml.simple.SimpleMatrix t_Inci, org.ejml.simple.SimpleMatrix t_MfMinusMi, java.util.Map<java.lang.Integer,java.lang.Integer> coeffs)