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()