Adding a probability parameter to faults: IF

src/main/java/faulttrees/Fault.java

@@ -54,6 +54,7 @@ public class Fault extends FaultElement {
     private ArrayList<FaultNode> destinationNodes;
     private boolean isRoot;
     private boolean isEnabled = true;
+    private double probability;
 
 
     public Fault(String _name, Object _referenceObject) {
@@ -81,6 +82,10 @@ public class Fault extends FaultElement {
         originNode = _node;
     }
 
+    public void setProbability(double probability) {
+        this.probability = probability;
+    }
+
     public void addDestinationNode(FaultNode _node) {
         destinationNodes.add(_node);
     }