File tree Expand file tree Collapse file tree
src/main/java/org/jreliability Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2727import org .jreliability .common .StructureFunction ;
2828import org .jreliability .function .ReliabilityFunction ;
2929import org .jreliability .function .SequentialFunction ;
30- import org .jreliability .function .UnreliabilityFunction ;
3130
3231/**
3332 * The {@link BDDReliabilityFunction} represents the {@link ReliabilityFunction}
Original file line number Diff line number Diff line change 1- /**
2- *
3- */
1+ /*******************************************************************************
2+ * JReliability is free software: you can redistribute it and/or modify it under
3+ * the terms of the GNU Lesser General Public License as published by the Free
4+ * Software Foundation, either version 3 of the License, or (at your option) any
5+ * later version.
6+ *
7+ * JReliability is distributed in the hope that it will be useful, but WITHOUT
8+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
9+ * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
10+ * details.
11+ *
12+ * You should have received a copy of the GNU Lesser General Public License
13+ * along with JReliability. If not, see http://www.gnu.org/licenses/.
14+ *******************************************************************************/
415package org .jreliability .common ;
516
617import java .util .Map ;
718
819/**
9- * The {@link StructureFunction} {@code phi(T)} is a characteristic or indicater
20+ * The {@link StructureFunction} {@code phi(T)} is a characteristic or indicator
1021 * function that determines whether the system provides correct service
1122 * ({@code phi(X) = true}) or has failed ({@code phi(X) = false}) given a set of
1223 * properly working and/or failed variables of type T.
You can’t perform that action at this time.
0 commit comments