public class DetectionAndRepairModel
extends java.lang.Object
Constructor and Description |
---|
DetectionAndRepairModel(InteractivePetriNet ipn) |
Modifier and Type | Method and Description |
---|---|
static DetectionModel |
getDetectionModel() |
static RepairModel |
getRepairModel() |
static void |
setDetectionModel(DetectionModel detectionModel) |
void |
updateRepairActivities() |
public DetectionAndRepairModel(InteractivePetriNet ipn)
public static DetectionModel getDetectionModel()
public static void setDetectionModel(DetectionModel detectionModel)
public void updateRepairActivities()
public static RepairModel getRepairModel()