From bbc98b55cd5318a39554fd72d612c71e43542adb Mon Sep 17 00:00:00 2001 From: Michael Glass Date: Tue, 12 Jun 2018 09:43:21 +0200 Subject: [PATCH] - corrected all licenses in the source files - added eclipse_formatter.xml as is in Opt4J - reformatted the complete code according to the formatting rules --- info/eclipse_formatter.xml | 579 ++++++++++++++++++ src/main/java/org/jreliability/bdd/BDD.java | 102 +-- .../org/jreliability/bdd/BDDConstraint.java | 23 +- .../org/jreliability/bdd/BDDProvider.java | 23 +- .../jreliability/bdd/BDDProviderFactory.java | 23 +- .../bdd/BDDReliabilityFunction.java | 36 +- .../java/org/jreliability/bdd/BDDTTRF.java | 23 +- .../jreliability/bdd/BDDTTRFSimulative.java | 56 +- .../org/jreliability/bdd/BDDTopEvent.java | 23 +- src/main/java/org/jreliability/bdd/BDDs.java | 63 +- .../org/jreliability/bdd/javabdd/JBDD.java | 40 +- .../bdd/javabdd/JBDDProvider.java | 44 +- .../bdd/javabdd/JBDDProviderFactory.java | 30 +- .../bdd/javabdd/package-info.java | 17 +- .../org/jreliability/bdd/package-info.java | 17 +- .../AbstractHierarchicalTerm.java | 26 +- .../jreliability/booleanfunction/TTRF.java | 26 +- .../jreliability/booleanfunction/Term.java | 38 +- .../jreliability/booleanfunction/Terms.java | 41 +- .../booleanfunction/common/ANDTerm.java | 29 +- .../booleanfunction/common/FALSETerm.java | 23 +- .../booleanfunction/common/LinearTerm.java | 36 +- .../booleanfunction/common/LiteralTerm.java | 28 +- .../booleanfunction/common/NOTTerm.java | 36 +- .../booleanfunction/common/ORTerm.java | 31 +- .../booleanfunction/common/TRUETerm.java | 23 +- .../booleanfunction/common/package-info.java | 17 +- .../booleanfunction/package-info.java | 21 +- .../java/org/jreliability/common/Failure.java | 32 +- .../org/jreliability/common/Occurrence.java | 26 +- .../java/org/jreliability/common/Samples.java | 23 +- .../org/jreliability/common/package-info.java | 14 + .../org/jreliability/evaluator/Evaluator.java | 32 +- .../evaluator/IntegralEvaluator.java | 23 +- .../evaluator/InverseEvaluator.java | 23 +- .../evaluator/MomentEvaluator.java | 23 +- .../jreliability/evaluator/package-info.java | 14 + .../function/DensityFunction.java | 32 +- .../jreliability/function/Distribution.java | 33 +- .../jreliability/function/FailureRate.java | 42 +- .../org/jreliability/function/Function.java | 23 +- .../function/InverseFunction.java | 23 +- .../function/ReliabilityFunction.java | 31 +- .../function/ReliabilityFunctionSet.java | 30 +- .../common/ConstantFailureFunction.java | 17 +- .../common/ConstantReliabilityFunction.java | 17 +- .../common/ExponentialFailureFunction.java | 23 +- .../ExponentialReliabilityFunction.java | 23 +- .../common/HjorthReliabilityFunction.java | 23 +- .../common/LognormalReliabilityFunction.java | 23 +- .../common/NMWDReliabilityFunction.java | 45 +- .../common/NormalReliabilityFunction.java | 23 +- .../common/ParallelReliabilityFunction.java | 36 +- .../common/SampledReliabilityFunction.java | 27 +- .../common/SerialReliabilityFunction.java | 34 +- .../common/SimpleFunctionTransformer.java | 35 +- .../common/SumReliabilityFunction.java | 29 +- .../common/WeibullReliabilityFunction.java | 38 +- .../function/common/package-info.java | 14 + .../jreliability/function/package-info.java | 18 +- .../org/jreliability/gui/MeasuresPanel.java | 23 +- .../gui/ReliabilityFunctionPlotPanel.java | 46 +- .../jreliability/gui/ReliabilityViewer.java | 23 +- .../gui/aspect/AbstractAspect.java | 29 +- .../org/jreliability/gui/aspect/Aspect.java | 41 +- .../gui/aspect/DensityAspect.java | 36 +- .../gui/aspect/DistributionAspect.java | 32 +- .../gui/aspect/FailureRateAspect.java | 32 +- .../gui/aspect/ReliabilityFunctionAspect.java | 32 +- .../gui/aspect/SampleCollector.java | 23 +- .../jreliability/gui/aspect/package-info.java | 17 +- .../org/jreliability/gui/package-info.java | 14 + src/main/java/org/jreliability/sl/SL.java | 16 +- .../sl/SLReliabilityFunction.java | 14 + .../org/jreliability/sl/package-info.java | 14 + .../jreliability/tester/ConstraintTester.java | 26 +- .../jreliability/tester/MemoryLeakTest.java | 22 +- .../tester/ReliabilityTester.java | 27 +- .../org/jreliability/tester/TestExample.java | 23 +- .../tester/TestExponentialTransformer.java | 28 +- .../tester/TestWeibullTransformer.java | 28 +- .../org/jreliability/tester/package-info.java | 14 + .../jreliability/tutorial/boiler/Boiler.java | 35 +- .../tutorial/boiler/BoilerComponent.java | 14 + .../tutorial/boiler/BoilerTester.java | 14 + .../tutorial/boiler/BoilerTransformer.java | 14 + .../tutorial/boiler/Controller.java | 14 + .../jreliability/tutorial/boiler/Heater.java | 14 + .../jreliability/tutorial/boiler/Pump.java | 18 +- .../jreliability/tutorial/boiler/Sensor.java | 14 + .../org/jreliability/tutorial/tmr/TMR.java | 28 +- .../jreliability/tutorial/tmr/TMRTester.java | 17 +- .../bdd/AbstractBDDOperatorTest.java | 40 +- .../bdd/AbstractBDDProviderTest.java | 23 +- .../org/jreliability/bdd/AbstractBDDTest.java | 23 +- .../jreliability/bdd/BDDConstraintTest.java | 23 +- .../bdd/BDDReliabilityFunctionTest.java | 23 +- .../bdd/BDDTTRFSimulativeTest.java | 23 +- .../org/jreliability/bdd/BDDTTRFTest.java | 26 +- .../org/jreliability/bdd/BDDTopEventTest.java | 18 +- .../bdd/jbdd/JBDDOperatorTest.java | 23 +- .../bdd/jbdd/JBDDProviderTest.java | 26 +- .../jreliability/bdd/jbdd/package-info.java | 17 +- .../jreliability/bdd/jdd/JDDOperatorTest.java | 23 +- .../jreliability/bdd/jdd/JDDProviderTest.java | 23 +- .../jreliability/bdd/jdd/package-info.java | 14 + .../booleanfunction/TermsTest.java | 23 +- .../booleanfunction/common/FalseTermTest.java | 23 +- .../common/LinearTermTest.java | 14 + .../common/LiteralTermTest.java | 25 +- .../booleanfunction/common/TrueTermTest.java | 23 +- .../org/jreliability/common/FailureTest.java | 32 +- .../org/jreliability/common/SamplesTest.java | 32 +- .../evaluator/IntegralEvaluatorTest.java | 33 +- .../evaluator/InverseEvaluatorTest.java | 42 +- .../evaluator/MomentEvaluatorTest.java | 23 +- .../function/DensityFunctionTest.java | 32 +- .../function/DistributionTest.java | 32 +- .../function/FailureRateTest.java | 34 +- .../common/ConstantFailureFunctionTest.java | 25 +- .../ConstantReliabilityFunctionTest.java | 25 +- .../ExponentialFailureFunctionTest.java | 25 +- .../ExponentialReliabilityFunctionTest.java | 23 +- .../common/HjorthReliabilityFunctionTest.java | 23 +- .../LognormalReliabilityFunctionTest.java | 32 +- .../common/NMWDReliabilityFunctionTest.java | 23 +- .../common/NormalReliabilityFunctionTest.java | 32 +- .../ParallelReliabilityFunctionTest.java | 14 + .../SampledReliabilityFunctionTest.java | 32 +- .../common/SerialReliabilityFunctionTest.java | 14 + .../common/SimpleFunctionTransformerTest.java | 26 +- .../common/SumReliabilityFunctionTest.java | 14 + .../WeibullReliabilityFunctionTest.java | 26 +- src/test/java/org/jreliability/sl/SLTest.java | 14 + 134 files changed, 2902 insertions(+), 1204 deletions(-) create mode 100644 info/eclipse_formatter.xml diff --git a/info/eclipse_formatter.xml b/info/eclipse_formatter.xml new file mode 100644 index 0000000..5086939 --- /dev/null +++ b/info/eclipse_formatter.xml @@ -0,0 +1,579 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/src/main/java/org/jreliability/bdd/BDD.java b/src/main/java/org/jreliability/bdd/BDD.java index 99c4191..e35485d 100644 --- a/src/main/java/org/jreliability/bdd/BDD.java +++ b/src/main/java/org/jreliability/bdd/BDD.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.Collection; @@ -17,8 +20,9 @@ import java.util.Set; /** - * The {@link BDD} is an interface containing the very basic functionality of a {@link BDD}. Thus, it is used as a front - * end for the various available BDD packages. + * The {@link BDD} is an interface containing the very basic functionality of a + * {@link BDD}. Thus, it is used as a front end for the various available BDD + * packages. * * @author glass, reimann * @@ -28,14 +32,16 @@ public interface BDD { /** - * Returns a {@link BDD} {@link Iterator} containing all satisfying variable assignments. + * Returns a {@link BDD} {@link Iterator} containing all satisfying variable + * assignments. * * @return all satisfying variable assignments */ public Iterator> allsat(); /** - * Returns the logical {@code and} of two BDDs. Note: Both BDDs remain unchanged after this and-operation. + * Returns the logical {@code and} of two BDDs. Note: Both BDDs remain + * unchanged after this and-operation. * * @param that * the BDD to and with this BDD @@ -44,8 +50,9 @@ public interface BDD { public BDD and(BDD that); /** - * Makes this BDD the logical {@code and} of this and {@code that} {@link BDD}. Note: {@code That} BDD is - * consumed(!) within this operation and invalid afterwards. + * Makes this BDD the logical {@code and} of this and {@code that} + * {@link BDD}. Note: {@code That} BDD is consumed(!) within this operation + * and invalid afterwards. * * @param that * the BDD to and with this BDD @@ -53,7 +60,8 @@ public interface BDD { public void andWith(BDD that); /** - * Makes this BDD the logical {@code and} of this and {@code that} variables. + * Makes this BDD the logical {@code and} of this and {@code that} + * variables. * * @param that * the variables to and with this BDD @@ -81,20 +89,24 @@ public interface BDD { public boolean equals(Object that); /** - * Returns this {@link BDD} after an existential quantification of the specified variable. + * Returns this {@link BDD} after an existential quantification of the + * specified variable. * * @param variable * the variable for the existential quantification - * @return this BDD after an existential quantification of the specified variables + * @return this BDD after an existential quantification of the specified + * variables */ public BDD exist(T variable); /** - * Returns this {@link BDD} after a universal quantification of the specified variable. + * Returns this {@link BDD} after a universal quantification of the + * specified variable. * * @param variable * the variable for the universal quantification - * @return this BDD after a universal quantification of the specified variables + * @return this BDD after a universal quantification of the specified + * variables */ public BDD forAll(T variable); @@ -134,8 +146,9 @@ public interface BDD { public boolean isZero(); /** - * Returns the if-then-else} {@link BDD} with this {@link BDD} being the if, the {@code thenBDD} being the then and - * {@code elseBDD} being the else statement. + * Returns the if-then-else} {@link BDD} with this {@link BDD} being the if, + * the {@code thenBDD} being the then and {@code elseBDD} being the else + * statement. * * @param thenBDD * the BDD for the then statement @@ -174,7 +187,8 @@ public interface BDD { public int nodeCount(); /** - * Returns the logical or of two {@link BDD}s. Note: Both BDDs remain unchanged after this or-operation. + * Returns the logical or of two {@link BDD}s. Note: Both BDDs remain + * unchanged after this or-operation. * * @param that * the BDD to or with this BDD @@ -183,8 +197,9 @@ public interface BDD { public BDD or(BDD that); /** - * Makes this BDD the logical or of this and {@code that} {@link BDD}. Note: {@code That} BDD is consumed(!) within - * this operation and invalid afterwards. + * Makes this BDD the logical or of this and {@code that} {@link BDD}. Note: + * {@code That} BDD is consumed(!) within this operation and invalid + * afterwards. * * @param that * the BDD to or with this BDD @@ -208,19 +223,21 @@ public interface BDD { public void orWith(T that); /** - * Returns a {@link BDD} where the variable for {@code variable1} is replaced with the variable of - * {@code variable2}. + * Returns a {@link BDD} where the variable for {@code variable1} is + * replaced with the variable of {@code variable2}. * * @param variable1 * the first variable * @param variable2 * the second variable - * @return a BDD where the variable for variable1 is replaced with the variable of variable2 + * @return a BDD where the variable for variable1 is replaced with the + * variable of variable2 */ public BDD replace(T variable1, T variable2); /** - * Replaces the variable for {@code variable1} with the variable of {@code variable2} in this {@link BDD}. + * Replaces the variable for {@code variable1} with the variable of + * {@code variable2} in this {@link BDD}. * * @param variable1 * the first variable @@ -230,8 +247,9 @@ public interface BDD { public void replaceWith(T variable1, T variable2); /** - * Returns a {@link BDD} where the variables of {@code that} {@link BDD} are set to constant reliabilityFunctions in - * this BDD. Note: Both BDDs remain unchanged after this or-operation. + * Returns a {@link BDD} where the variables of {@code that} {@link BDD} are + * set to constant reliabilityFunctions in this BDD. Note: Both BDDs remain + * unchanged after this or-operation. * * @param that * the BDD to restrict this BDD with @@ -240,8 +258,9 @@ public interface BDD { public BDD restrict(BDD that); /** - * Restricts the variables of {@code that} to constant reliabilityFunctions in this BDD. Note: {@code That} BDD is - * consumed(!) within this operation and invalid afterwards. + * Restricts the variables of {@code that} to constant reliabilityFunctions + * in this BDD. Note: {@code That} BDD is consumed(!) within this operation + * and invalid afterwards. * * @param that * the BDD to restrict this BDD with @@ -256,7 +275,8 @@ public interface BDD { public T var(); /** - * Returns the logical xor of two {@link BDD}s. Note: Both BDDs remain unchanged after this xor-operation. + * Returns the logical xor of two {@link BDD}s. Note: Both BDDs remain + * unchanged after this xor-operation. * * @param that * the BDD to xor with this BDD @@ -265,8 +285,9 @@ public interface BDD { public BDD xor(BDD that); /** - * Makes this {@link BDD} the logical xor of this and {@code that} BDD. Note: {@code That} BDD is consumed(!) within - * this operation and invalid afterwards. + * Makes this {@link BDD} the logical xor of this and {@code that} BDD. + * Note: {@code That} BDD is consumed(!) within this operation and invalid + * afterwards. * * @param that * the BDD to xor with this BDD @@ -282,7 +303,8 @@ public interface BDD { public void xorWith(T that); /** - * Returns the logical implication of two {@link BDD}s. Note: Both BDDs remain unchanged after this and-operation. + * Returns the logical implication of two {@link BDD}s. Note: Both BDDs + * remain unchanged after this and-operation. * * @param that * the BDD to implicate with this BDD @@ -291,8 +313,8 @@ public interface BDD { public BDD imp(BDD that); /** - * Returns the logical implication of two {@link BDD}s. Note: {@code That} BDD is consumed(!) within this operation - * and invalid afterwards. + * Returns the logical implication of two {@link BDD}s. Note: {@code That} + * BDD is consumed(!) within this operation and invalid afterwards. * * @param that * the BDD to implicate with this BDD diff --git a/src/main/java/org/jreliability/bdd/BDDConstraint.java b/src/main/java/org/jreliability/bdd/BDDConstraint.java index ee6cebd..fcb0464 100644 --- a/src/main/java/org/jreliability/bdd/BDDConstraint.java +++ b/src/main/java/org/jreliability/bdd/BDDConstraint.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.ArrayList; diff --git a/src/main/java/org/jreliability/bdd/BDDProvider.java b/src/main/java/org/jreliability/bdd/BDDProvider.java index a67e317..04bdc07 100644 --- a/src/main/java/org/jreliability/bdd/BDDProvider.java +++ b/src/main/java/org/jreliability/bdd/BDDProvider.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.List; diff --git a/src/main/java/org/jreliability/bdd/BDDProviderFactory.java b/src/main/java/org/jreliability/bdd/BDDProviderFactory.java index 688b1e7..5f43fc7 100644 --- a/src/main/java/org/jreliability/bdd/BDDProviderFactory.java +++ b/src/main/java/org/jreliability/bdd/BDDProviderFactory.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; /** diff --git a/src/main/java/org/jreliability/bdd/BDDReliabilityFunction.java b/src/main/java/org/jreliability/bdd/BDDReliabilityFunction.java index 035d549..57e424f 100644 --- a/src/main/java/org/jreliability/bdd/BDDReliabilityFunction.java +++ b/src/main/java/org/jreliability/bdd/BDDReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.apache.commons.collections15.Transformer; @@ -17,8 +20,8 @@ import org.jreliability.function.ReliabilityFunction; /** - * The {@link BDDReliabilityFunction} represents the {@link ReliabilityFunction} that is inherently included in a - * {@link BDD}. + * The {@link BDDReliabilityFunction} represents the {@link ReliabilityFunction} + * that is inherently included in a {@link BDD}. * * @author glass * @@ -33,7 +36,8 @@ public class BDDReliabilityFunction implements ReliabilityFunction { protected final BDD bdd; /** - * The used {@link Transformer} to get the {@link ReliabilityFunction} of each element of the {@link BDD}. + * The used {@link Transformer} to get the {@link ReliabilityFunction} of + * each element of the {@link BDD}. */ protected final Transformer functionTransformer; @@ -43,13 +47,15 @@ public class BDDReliabilityFunction implements ReliabilityFunction { protected final BDDTopEvent topEvent; /** - * Constructs a {@link BDDReliabilityFunction} with a given {@link BDD} and {@link Transformer}. + * Constructs a {@link BDDReliabilityFunction} with a given {@link BDD} and + * {@link Transformer}. * * @param bdd * the bdd representing the reliabilityFunction * * @param functionTransformer - * the functionTransformer to transform bdd elements to reliabilityFunction + * the functionTransformer to transform bdd elements to + * reliabilityFunction */ public BDDReliabilityFunction(BDD bdd, Transformer functionTransformer) { super(); diff --git a/src/main/java/org/jreliability/bdd/BDDTTRF.java b/src/main/java/org/jreliability/bdd/BDDTTRF.java index 2969930..9b6a9e3 100644 --- a/src/main/java/org/jreliability/bdd/BDDTTRF.java +++ b/src/main/java/org/jreliability/bdd/BDDTTRF.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.ArrayList; diff --git a/src/main/java/org/jreliability/bdd/BDDTTRFSimulative.java b/src/main/java/org/jreliability/bdd/BDDTTRFSimulative.java index 8da99ea..57fb41a 100644 --- a/src/main/java/org/jreliability/bdd/BDDTTRFSimulative.java +++ b/src/main/java/org/jreliability/bdd/BDDTTRFSimulative.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.ArrayList; @@ -29,8 +32,9 @@ import org.jreliability.function.common.SampledReliabilityFunction; /** - * The {@link BDDTTRFSimulative} performs a Monte-Carlo simulation to determine the {@link ReliabilityFunction} based on - * a {@link BDD} representation of the system structure. + * The {@link BDDTTRFSimulative} performs a Monte-Carlo simulation to determine + * the {@link ReliabilityFunction} based on a {@link BDD} representation of the + * system structure. * * @author glass * @@ -55,7 +59,8 @@ public class BDDTTRFSimulative implements TTRF { protected final BDDProvider provider; /** - * Constructs a {@link BDDTTRFSimulative} with a given {@link BDDProvider} and a standard epsilon of {@code 0.001}. + * Constructs a {@link BDDTTRFSimulative} with a given {@link BDDProvider} + * and a standard epsilon of {@code 0.001}. * * @param provider * the used bddProvider @@ -65,7 +70,8 @@ public BDDTTRFSimulative(BDDProvider provider) { } /** - * Constructs a {@link BDDTTRFSimulative} with a given {@link BDDProvider} and an epsilon. + * Constructs a {@link BDDTTRFSimulative} with a given {@link BDDProvider} + * and an epsilon. * * @param provider * the used bddProvider @@ -88,7 +94,8 @@ public ReliabilityFunction convert(Term term, Transformer functionTransformer, @@ -116,7 +124,8 @@ public ReliabilityFunction convert(Term term, Transformer collectTimesToFailure(Term term, Transformer bdd, Transformer Set getVariables(BDD bdd) { } /** - * Returns all nodes of the {@link BDD} that represent the variable {@code T}. + * Returns all nodes of the {@link BDD} that represent the variable + * {@code T}. * * @param * the type of variable @@ -116,8 +120,8 @@ public static BDD getBDD(List coeffs, List> vars, LinearT BDDConstraint constraint = new BDDConstraint<>(rhs, lits); /* - * Handle the case that the lhs is empty and is, thus, 0! If 0 >= rhs, return true BDD; else return false - * BDD + * Handle the case that the lhs is empty and is, thus, 0! If 0 >= + * rhs, return true BDD; else return false BDD */ if (constraint.getLhs().isEmpty()) { if (0 >= constraint.getRhs()) { @@ -175,9 +179,11 @@ public int compare(Literal o1, Literal o2) { } /** - * Returns a graphical representation of the {@link BDD} in the DOT input format. + * Returns a graphical representation of the {@link BDD} in the DOT input + * format. * - * @see Graphviz – The DOT language + * @see Graphviz + * – The DOT language * * @param * the type of variable @@ -205,8 +211,9 @@ public static String toDot(BDD bdd) { } /** - * Calculates the top event of the {@link BDD} based on a functionTransformer that delivers for each variable - * {@code T} a double value. + * Calculates the top event of the {@link BDD} based on a + * functionTransformer that delivers for each variable {@code T} a double + * value. * * @param * the type of variable @@ -321,8 +328,8 @@ protected static double evaluate(BDD bdd, Transformer transfor } /** - * Returns a greater-equal constraint represented as a {@link BDD} via a recursive procedure proposed by Een & - * Soerrensson 2006. + * Returns a greater-equal constraint represented as a {@link BDD} via a + * recursive procedure proposed by Een & Soerrensson 2006. * * @param * the type of variables @@ -368,7 +375,8 @@ protected static BDD buildConstraintBDD(List> literals, int rh } /** - * Traverses the {@link BDD} to collects all nodes for the DOT representation. + * Traverses the {@link BDD} to collects all nodes for the DOT + * representation. * * @param * the type of variables @@ -414,7 +422,8 @@ protected static void collectDotNodes(BDD bdd, StringBuffer dot, Map * the type of variable @@ -452,7 +461,8 @@ protected static void collectDotEdges(BDD bdd, StringBuffer dot, Map * the type of variable @@ -492,7 +502,8 @@ protected static void collectDotMarkers(BDD bdd, StringBuffer dot, Map * the type of variable @@ -554,7 +565,8 @@ protected static void collectVariables(BDD bdd, Set variables, Set * the type of variables @@ -581,7 +593,8 @@ protected static void collectVariablesSorted(BDD bdd, List variables) } /** - * Traverses the {@link BDD} to collect all nodes for a given variable {@code T}. + * Traverses the {@link BDD} to collect all nodes for a given variable + * {@code T}. * * @param * the type of variables diff --git a/src/main/java/org/jreliability/bdd/javabdd/JBDD.java b/src/main/java/org/jreliability/bdd/javabdd/JBDD.java index 50b72ea..2b88f4a 100644 --- a/src/main/java/org/jreliability/bdd/javabdd/JBDD.java +++ b/src/main/java/org/jreliability/bdd/javabdd/JBDD.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.javabdd; import java.util.Collection; @@ -24,7 +27,8 @@ import net.sf.javabdd.BDDPairing; /** - * The {@link JBDD} is a {@link BDD} based on the JavaBDD standard java implementation. + * The {@link JBDD} is a {@link BDD} based on the JavaBDD standard java + * implementation. * * @author glass, reimann * @param @@ -104,13 +108,15 @@ public void remove() { } /** - * Constructs a {@link JDD} with a {@link JDDProvider} and the BDD implementation used in the {@link JBBFactory} of - * the {@link JavaBDD} library. + * Constructs a {@link JDD} with a {@link JDDProvider} and the BDD + * implementation used in the {@link JBBFactory} of the {@link JavaBDD} + * library. * * @param provider * the used JDDProvider * @param bdd - * the BDD implementation used in the JBBFactory of the javabdd library + * the BDD implementation used in the JBBFactory of the javabdd + * library */ JBDD(JBDDProvider provider, net.sf.javabdd.BDD bdd) { this.provider = provider; @@ -228,7 +234,8 @@ public boolean isZero() { /* * (non-Javadoc) * - * @see org.jreliability.bdd.BDD#ite(org.jreliability.bdd.BDD, org.jreliability.bdd.BDD) + * @see org.jreliability.bdd.BDD#ite(org.jreliability.bdd.BDD, + * org.jreliability.bdd.BDD) */ @Override public BDD ite(BDD thenBDD, BDD elseBDD) { @@ -313,7 +320,8 @@ public BDD replace(T variable1, T variable2) { /* * (non-Javadoc) * - * @see org.jreliability.bdd.BDD#replaceWith(java.lang.Object, java.lang.Object) + * @see org.jreliability.bdd.BDD#replaceWith(java.lang.Object, + * java.lang.Object) */ @Override public void replaceWith(T variable1, T variable2) { diff --git a/src/main/java/org/jreliability/bdd/javabdd/JBDDProvider.java b/src/main/java/org/jreliability/bdd/javabdd/JBDDProvider.java index 9f832e2..64b8fa0 100644 --- a/src/main/java/org/jreliability/bdd/javabdd/JBDDProvider.java +++ b/src/main/java/org/jreliability/bdd/javabdd/JBDDProvider.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.javabdd; import java.util.Arrays; @@ -45,11 +48,13 @@ public class JBDDProvider implements BDDProvider { protected BDDFactory factory; /** - * A translation of the variable to an {@link Integer} for the real {@link BDD}. + * A translation of the variable to an {@link Integer} for the real + * {@link BDD}. */ protected Map variableToInt = new HashMap<>(); /** - * A translation of the {@link Integer} in the real {@link BDD} to the variable. + * A translation of the {@link Integer} in the real {@link BDD} to the + * variable. */ protected Map intToVariable = new HashMap<>(); @@ -59,13 +64,14 @@ public class JBDDProvider implements BDDProvider { protected int vars; /** - * The factor to extend the number of variables in case more variables are required. + * The factor to extend the number of variables in case more variables are + * required. */ protected int variableGrowthFactor; /** - * Constructs a {@link JBDDProvider} with the {@link Type} of the BDD library to use and a given number of - * variables. + * Constructs a {@link JBDDProvider} with the {@link Type} of the BDD + * library to use and a given number of variables. * * @param type * the type of the real bdd implementation @@ -77,15 +83,17 @@ public JBDDProvider(Type type, int vars) { } /** - * Constructs a {@link JBDDProvider} with the {@link Type} of the BDD library to use, a given number of variables, - * the growth rate of the number of variables, and the initial number of nodes. + * Constructs a {@link JBDDProvider} with the {@link Type} of the BDD + * library to use, a given number of variables, the growth rate of the + * number of variables, and the initial number of nodes. * * @param type * the type of the BDD library * @param vars * the number of variables * @param variableGrowthFactor - * the factor by which to extend the number of variables if required + * the factor by which to extend the number of variables if + * required * @param initialNumberofNodes * the initial number of nodes reserved in the BDD factory */ diff --git a/src/main/java/org/jreliability/bdd/javabdd/JBDDProviderFactory.java b/src/main/java/org/jreliability/bdd/javabdd/JBDDProviderFactory.java index 05a8784..36bf106 100644 --- a/src/main/java/org/jreliability/bdd/javabdd/JBDDProviderFactory.java +++ b/src/main/java/org/jreliability/bdd/javabdd/JBDDProviderFactory.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.javabdd; import java.util.HashMap; @@ -20,7 +23,8 @@ import org.jreliability.bdd.BDDProviderFactory; /** - * The {@link JBDDProviderFactory} is a {@link BDDProviderFactory} for the JavaBDD library. + * The {@link JBDDProviderFactory} is a {@link BDDProviderFactory} for the + * JavaBDD library. * * @author reimann, lukasiewycz * @@ -53,8 +57,8 @@ public enum Type { */ protected static final int INITIAL_VARIABLES = 10; /** - * A map that provides each requested {@link Type} of real {@link BDD} implementation with its specific - * {@link JBDDProvider}. + * A map that provides each requested {@link Type} of real {@link BDD} + * implementation with its specific {@link JBDDProvider}. */ protected static Map> staticProviders = new HashMap<>(); diff --git a/src/main/java/org/jreliability/bdd/javabdd/package-info.java b/src/main/java/org/jreliability/bdd/javabdd/package-info.java index b20b709..64993e3 100644 --- a/src/main/java/org/jreliability/bdd/javabdd/package-info.java +++ b/src/main/java/org/jreliability/bdd/javabdd/package-info.java @@ -1,5 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for a {@link org.jreliability.bdd.BDD} implementation based on {@code net.sf.javabdd}. + * Provides the classes for a {@link org.jreliability.bdd.BDD} implementation + * based on {@code net.sf.javabdd}. * */ package org.jreliability.bdd.javabdd; diff --git a/src/main/java/org/jreliability/bdd/package-info.java b/src/main/java/org/jreliability/bdd/package-info.java index d774439..9a6ce2a 100644 --- a/src/main/java/org/jreliability/bdd/package-info.java +++ b/src/main/java/org/jreliability/bdd/package-info.java @@ -1,5 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for the {@link org.jreliability.bdd.BDD}s used for the evaluation. + * Provides the classes for the {@link org.jreliability.bdd.BDD}s used for the + * evaluation. * */ package org.jreliability.bdd; diff --git a/src/main/java/org/jreliability/booleanfunction/AbstractHierarchicalTerm.java b/src/main/java/org/jreliability/booleanfunction/AbstractHierarchicalTerm.java index 52e8a8a..fedb6f4 100644 --- a/src/main/java/org/jreliability/booleanfunction/AbstractHierarchicalTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/AbstractHierarchicalTerm.java @@ -1,21 +1,25 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction; import java.util.List; /** - * The {@link AbstractHierarchicalTerm} is the basic class for {@link Terms} that consist of other {@link Terms}. + * The {@link AbstractHierarchicalTerm} is the basic class for {@link Terms} + * that consist of other {@link Terms}. * * @author glass * diff --git a/src/main/java/org/jreliability/booleanfunction/TTRF.java b/src/main/java/org/jreliability/booleanfunction/TTRF.java index f4023d0..c9581c2 100644 --- a/src/main/java/org/jreliability/booleanfunction/TTRF.java +++ b/src/main/java/org/jreliability/booleanfunction/TTRF.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction; import org.apache.commons.collections15.Predicate; @@ -38,7 +41,8 @@ public interface TTRF { public ReliabilityFunction convert(Term term, Transformer functionTransformer); /** - * Converts a {@link Term} to a {@link ReliabilityFunction} and excludes the {@code exists} variables. + * Converts a {@link Term} to a {@link ReliabilityFunction} and excludes the + * {@code exists} variables. * * @param term * the term to transform diff --git a/src/main/java/org/jreliability/booleanfunction/Term.java b/src/main/java/org/jreliability/booleanfunction/Term.java index 1898811..22d7fd1 100644 --- a/src/main/java/org/jreliability/booleanfunction/Term.java +++ b/src/main/java/org/jreliability/booleanfunction/Term.java @@ -1,23 +1,37 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.booleanfunction; /** - * The {@link Term} represents a mathematical {@link Term} in a - * {@link Boolean Function}. A {@link Term} can consist of other {@link Terms}. - * In JReliability, each {@link Term} interrelates its embedded {@link Term} + * The {@link Term} represents a mathematical {@link Term} in a {@link Boolean + * Function}. A {@link Term} can consist of other {@link Terms}. In + * JReliability, each {@link Term} interrelates its embedded {@link Term} * elements via the same mathematical operator. * * @author glass diff --git a/src/main/java/org/jreliability/booleanfunction/Terms.java b/src/main/java/org/jreliability/booleanfunction/Terms.java index 620f11c..9f2d9ff 100644 --- a/src/main/java/org/jreliability/booleanfunction/Terms.java +++ b/src/main/java/org/jreliability/booleanfunction/Terms.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction; import java.util.ArrayList; @@ -55,7 +58,8 @@ public static Set getVariables(Term term) { } /** - * Adds the variables included in a {@link Term} to a given set of variables. + * Adds the variables included in a {@link Term} to a given set of + * variables. * * @param * the type of the variables @@ -90,8 +94,8 @@ public static Term getTermFromString(String string) { } /** - * Parses a {@link Term} from a given helper {@link Object} that has been derived from the original {@link String} - * encoding the {@link Term}. + * Parses a {@link Term} from a given helper {@link Object} that has been + * derived from the original {@link String} encoding the {@link Term}. * * @param object * the helper object @@ -154,8 +158,9 @@ protected static Term parse(Object object) { } /** - * Transforms a given {@link String} to a helper {@link Object} that represents {@link Term}s as {@link List}s of - * helper {@link Object}s and variables as {@link String}s. + * Transforms a given {@link String} to a helper {@link Object} that + * represents {@link Term}s as {@link List}s of helper {@link Object}s and + * variables as {@link String}s. * * @param string * the string encoding the {@link Term} @@ -209,7 +214,8 @@ protected static Object toObject(ParseString string) { } /** - * The {@link ParseString} is a helper class to parse a helper {@link Object} from a given {@link String}. + * The {@link ParseString} is a helper class to parse a helper + * {@link Object} from a given {@link String}. * * @author glass * @@ -281,7 +287,8 @@ public String toString() { } /** - * Moves the pointer to the next character that is not a blank or newline character. + * Moves the pointer to the next character that is not a blank or + * newline character. */ public void skipSpaces() { while (!this.isEnd() && (this.getCurrent() == ' ' || this.getCurrent() == '\n')) { diff --git a/src/main/java/org/jreliability/booleanfunction/common/ANDTerm.java b/src/main/java/org/jreliability/booleanfunction/common/ANDTerm.java index 9441860..39629a0 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/ANDTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/ANDTerm.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import java.util.ArrayList; @@ -20,7 +23,8 @@ import org.jreliability.booleanfunction.Terms; /** - * The {@link ANDTerm} is a {@link Term} that interrelates its embedded {@link Terms} with the AND operator}.
+ * The {@link ANDTerm} is a {@link Term} that interrelates its embedded + * {@link Terms} with the AND operator}.
* {@code (AND term1 ... termN)} * * @@ -38,7 +42,8 @@ public ANDTerm() { } /** - * Constructs an {@link ANDTerm} with a given list of embedded {@link Terms} . + * Constructs an {@link ANDTerm} with a given list of embedded {@link Terms} + * . * * @param terms * the embedded terms diff --git a/src/main/java/org/jreliability/booleanfunction/common/FALSETerm.java b/src/main/java/org/jreliability/booleanfunction/common/FALSETerm.java index 68ab2e9..aa4abff 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/FALSETerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/FALSETerm.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.jreliability.booleanfunction.Term; diff --git a/src/main/java/org/jreliability/booleanfunction/common/LinearTerm.java b/src/main/java/org/jreliability/booleanfunction/common/LinearTerm.java index d594be1..8a82e14 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/LinearTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/LinearTerm.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import java.util.ArrayList; @@ -28,7 +31,8 @@ public class LinearTerm extends AbstractHierarchicalTerm { /** - * The {@link Comparator} determines the comparator in the {@link LinearTerm}, i.e. =, >, >=, <, <=. + * The {@link Comparator} determines the comparator in the + * {@link LinearTerm}, i.e. =, >, >=, <, <=. * * @author glass * @@ -93,7 +97,8 @@ public String toString() { protected int rhs; /** - * Constructs a {@link LinearTerm} with a given {@link Comparator}, and the right-hand-side. + * Constructs a {@link LinearTerm} with a given {@link Comparator}, and the + * right-hand-side. * * @param comparator * the used comparator @@ -105,8 +110,8 @@ public LinearTerm(Comparator comparator, int rhs) { } /** - * Constructs a {@link LinearTerm} with a given list of coefficients, the embedded {@link Term}s, the - * {@link Comparator}, and the right-hand-side. + * Constructs a {@link LinearTerm} with a given list of coefficients, the + * embedded {@link Term}s, the {@link Comparator}, and the right-hand-side. * * @param coefficients * the coefficients of the terms @@ -145,7 +150,8 @@ public int getRHS() { /* * (non-Javadoc) * - * @see org.jreliability.booleanfunction.AbstractHierarchicalTerm#add(org.jreliability.booleanfunction.Term) + * @see org.jreliability.booleanfunction.AbstractHierarchicalTerm#add(org. + * jreliability.booleanfunction.Term) */ @Override public void add(Term term) { diff --git a/src/main/java/org/jreliability/booleanfunction/common/LiteralTerm.java b/src/main/java/org/jreliability/booleanfunction/common/LiteralTerm.java index 078b236..5e7c29d 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/LiteralTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/LiteralTerm.java @@ -1,22 +1,26 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.jreliability.booleanfunction.Term; /** - * The {@link LiteralTerm} represents a literal, i.e. the used variable. A {@link LiteralTerm} equals another - * {@link LiteralTerm} if their variables are equal. + * The {@link LiteralTerm} represents a literal, i.e. the used variable. A + * {@link LiteralTerm} equals another {@link LiteralTerm} if their variables are + * equal. * * @author glass, reimann * diff --git a/src/main/java/org/jreliability/booleanfunction/common/NOTTerm.java b/src/main/java/org/jreliability/booleanfunction/common/NOTTerm.java index 5ae8949..5d9ea03 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/NOTTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/NOTTerm.java @@ -1,24 +1,38 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.booleanfunction.common; import org.jreliability.booleanfunction.Term; /** - * The {@link NOTTerm} is used to model Boolean negation by embedding a {@link - * Term} that shall be negated in a {@link NOTTerm}. + * The {@link NOTTerm} is used to model Boolean negation by embedding a + * {@link Term} that shall be negated in a {@link NOTTerm}. * * @author glass * diff --git a/src/main/java/org/jreliability/booleanfunction/common/ORTerm.java b/src/main/java/org/jreliability/booleanfunction/common/ORTerm.java index f6c3fb4..c034f13 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/ORTerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/ORTerm.java @@ -1,14 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it OR/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any + * JReliability is free software: you can redistribute it OR/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.booleanfunction.common; @@ -20,7 +36,8 @@ import org.jreliability.booleanfunction.Terms; /** - * The {@link ORTerm} is a {@link Term} that interrelates its embedded {@link Terms} with the OR operator.
+ * The {@link ORTerm} is a {@link Term} that interrelates its embedded + * {@link Terms} with the OR operator.
* {@code (OR term1 ... termN)} * * @author glass diff --git a/src/main/java/org/jreliability/booleanfunction/common/TRUETerm.java b/src/main/java/org/jreliability/booleanfunction/common/TRUETerm.java index 5ee8426..f3a31f5 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/TRUETerm.java +++ b/src/main/java/org/jreliability/booleanfunction/common/TRUETerm.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.jreliability.booleanfunction.Term; diff --git a/src/main/java/org/jreliability/booleanfunction/common/package-info.java b/src/main/java/org/jreliability/booleanfunction/common/package-info.java index 85bdaae..ff33e84 100644 --- a/src/main/java/org/jreliability/booleanfunction/common/package-info.java +++ b/src/main/java/org/jreliability/booleanfunction/common/package-info.java @@ -1,5 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides commonly used implementations for the Boolean functions used to model the system. + * Provides commonly used implementations for the Boolean functions used to + * model the system. * */ package org.jreliability.booleanfunction.common; diff --git a/src/main/java/org/jreliability/booleanfunction/package-info.java b/src/main/java/org/jreliability/booleanfunction/package-info.java index ddde267..741d10b 100644 --- a/src/main/java/org/jreliability/booleanfunction/package-info.java +++ b/src/main/java/org/jreliability/booleanfunction/package-info.java @@ -1,7 +1,22 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for the Boolean functions used to model the system. The term structure follows the scheme given - * by the polish notation, i.e., {@code (operator operand1 ... operand2)}. When printed or should be read in from - * string, the following formatting guidelines are strictly enforced: + * Provides the classes for the Boolean functions used to model the system. The + * term structure follows the scheme given by the polish notation, i.e., + * {@code (operator operand1 ... operand2)}. When printed or should be read in + * from string, the following formatting guidelines are strictly enforced: *

* For all terms containing an operator:
* (operator term1 ... termN) diff --git a/src/main/java/org/jreliability/common/Failure.java b/src/main/java/org/jreliability/common/Failure.java index c459ded..e01275b 100644 --- a/src/main/java/org/jreliability/common/Failure.java +++ b/src/main/java/org/jreliability/common/Failure.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.common; diff --git a/src/main/java/org/jreliability/common/Occurrence.java b/src/main/java/org/jreliability/common/Occurrence.java index 36f92cd..a8df9aa 100644 --- a/src/main/java/org/jreliability/common/Occurrence.java +++ b/src/main/java/org/jreliability/common/Occurrence.java @@ -1,19 +1,23 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.common; /** - * The {@link Occurrence} represents an occurrence or event, e.g., the failure or repair of an object at a given time. + * The {@link Occurrence} represents an occurrence or event, e.g., the failure + * or repair of an object at a given time. * * @author glass * diff --git a/src/main/java/org/jreliability/common/Samples.java b/src/main/java/org/jreliability/common/Samples.java index 7ce989a..78fa597 100644 --- a/src/main/java/org/jreliability/common/Samples.java +++ b/src/main/java/org/jreliability/common/Samples.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.common; import java.util.TreeMap; diff --git a/src/main/java/org/jreliability/common/package-info.java b/src/main/java/org/jreliability/common/package-info.java index 58b7126..6ad5289 100644 --- a/src/main/java/org/jreliability/common/package-info.java +++ b/src/main/java/org/jreliability/common/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides classes that can be commonly used in the package. * diff --git a/src/main/java/org/jreliability/evaluator/Evaluator.java b/src/main/java/org/jreliability/evaluator/Evaluator.java index c3d7fa0..57b0fb1 100644 --- a/src/main/java/org/jreliability/evaluator/Evaluator.java +++ b/src/main/java/org/jreliability/evaluator/Evaluator.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.evaluator; diff --git a/src/main/java/org/jreliability/evaluator/IntegralEvaluator.java b/src/main/java/org/jreliability/evaluator/IntegralEvaluator.java index a1dbbf3..4f6fccf 100644 --- a/src/main/java/org/jreliability/evaluator/IntegralEvaluator.java +++ b/src/main/java/org/jreliability/evaluator/IntegralEvaluator.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import java.util.ArrayList; diff --git a/src/main/java/org/jreliability/evaluator/InverseEvaluator.java b/src/main/java/org/jreliability/evaluator/InverseEvaluator.java index 53d7ec6..9f81f95 100644 --- a/src/main/java/org/jreliability/evaluator/InverseEvaluator.java +++ b/src/main/java/org/jreliability/evaluator/InverseEvaluator.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import org.jreliability.function.InverseFunction; diff --git a/src/main/java/org/jreliability/evaluator/MomentEvaluator.java b/src/main/java/org/jreliability/evaluator/MomentEvaluator.java index 3199d4d..f2211d5 100644 --- a/src/main/java/org/jreliability/evaluator/MomentEvaluator.java +++ b/src/main/java/org/jreliability/evaluator/MomentEvaluator.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import org.jreliability.function.Function; diff --git a/src/main/java/org/jreliability/evaluator/package-info.java b/src/main/java/org/jreliability/evaluator/package-info.java index e19f23f..7512b82 100644 --- a/src/main/java/org/jreliability/evaluator/package-info.java +++ b/src/main/java/org/jreliability/evaluator/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the classes for the {@link org.jreliability.evaluator.Evaluator}s. * diff --git a/src/main/java/org/jreliability/function/DensityFunction.java b/src/main/java/org/jreliability/function/DensityFunction.java index bf6b6e3..d1bbc1e 100644 --- a/src/main/java/org/jreliability/function/DensityFunction.java +++ b/src/main/java/org/jreliability/function/DensityFunction.java @@ -1,19 +1,23 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** - * The {@link DensityFunction} determines the density {@code f(x)} of a {@link ReliabilityFunction} {@code R(x)}. + * The {@link DensityFunction} determines the density {@code f(x)} of a + * {@link ReliabilityFunction} {@code R(x)}. * * @author glass * @@ -21,12 +25,14 @@ public class DensityFunction { /** - * The {@link ReliabilityFunction} for which the {@link DensityFunction} is to determine. + * The {@link ReliabilityFunction} for which the {@link DensityFunction} is + * to determine. */ protected final ReliabilityFunction reliabilityFunction; /** - * Constructs a {@link DensityFunction} with a given {@link ReliabilityFunction}. + * Constructs a {@link DensityFunction} with a given + * {@link ReliabilityFunction}. * * @param reliabilityFunction * the reliabilityFunction diff --git a/src/main/java/org/jreliability/function/Distribution.java b/src/main/java/org/jreliability/function/Distribution.java index 1de977f..b93b4a1 100644 --- a/src/main/java/org/jreliability/function/Distribution.java +++ b/src/main/java/org/jreliability/function/Distribution.java @@ -1,20 +1,23 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** - * The {@link Distribution} determines the {@link Distribution} {@code F(x)} of a given {@link ReliabilityFunction} - * {@code R(x)} as + * The {@link Distribution} determines the {@link Distribution} {@code F(x)} of + * a given {@link ReliabilityFunction} {@code R(x)} as *

* {@code F(x) = 1 - R(x)}. * @@ -24,12 +27,14 @@ public class Distribution implements Function { /** - * The {@link ReliabilityFunction} for which the {@link Distribution} is to determine. + * The {@link ReliabilityFunction} for which the {@link Distribution} is to + * determine. */ protected final ReliabilityFunction reliabilityFunction; /** - * Constructs a {@link Distribution} with a given {@link ReliabilityFunction}. + * Constructs a {@link Distribution} with a given + * {@link ReliabilityFunction}. * * @param reliabilityFunction * the reliability reliabilityFunction diff --git a/src/main/java/org/jreliability/function/FailureRate.java b/src/main/java/org/jreliability/function/FailureRate.java index 4039279..55f75cd 100644 --- a/src/main/java/org/jreliability/function/FailureRate.java +++ b/src/main/java/org/jreliability/function/FailureRate.java @@ -1,20 +1,23 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** - * The {@link FailureRate} determines the failure rate {@code lambda} of a given {@link ReliabilityFunction} and is - * defined as + * The {@link FailureRate} determines the failure rate {@code lambda} of a given + * {@link ReliabilityFunction} and is defined as *

* {@code lambda(x) = f(x) / R(x)}. * @@ -24,7 +27,8 @@ public class FailureRate { /** - * The {@link ReliabilityFunction} for which the {@link FailureRate} is to determine. + * The {@link ReliabilityFunction} for which the {@link FailureRate} is to + * determine. */ protected final ReliabilityFunction reliabilityFunction; @@ -34,7 +38,8 @@ public class FailureRate { protected final DensityFunction densityFunction; /** - * Constructs a {@link FailureRate} with a given {@link ReliabilityFunction} . + * Constructs a {@link FailureRate} with a given {@link ReliabilityFunction} + * . * * @param reliabilityFunction * the reliabilityFunction @@ -45,8 +50,8 @@ public FailureRate(ReliabilityFunction reliabilityFunction) { } /** - * Returns the failure rate {@code lambda} {@code lambda(x) = f(x) / R(x)} of the {@link ReliabilityFunction} at the - * {@code x}-value. + * Returns the failure rate {@code lambda} {@code lambda(x) = f(x) / R(x)} + * of the {@link ReliabilityFunction} at the {@code x}-value. * * @param x * the x value @@ -57,8 +62,9 @@ public double getY(double x) { double reliability = reliabilityFunction.getY(x); double y = density / reliability; /* - * This case results from e.g. very large y-values with reliability being almost 0. There, the approximation via - * the DensityFunction might suffer from rounding the density to 0. + * This case results from e.g. very large y-values with reliability + * being almost 0. There, the approximation via the DensityFunction + * might suffer from rounding the density to 0. */ if (density == 0 && reliability != 1) { return Double.NaN; diff --git a/src/main/java/org/jreliability/function/Function.java b/src/main/java/org/jreliability/function/Function.java index 7a198c6..77326c7 100644 --- a/src/main/java/org/jreliability/function/Function.java +++ b/src/main/java/org/jreliability/function/Function.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** diff --git a/src/main/java/org/jreliability/function/InverseFunction.java b/src/main/java/org/jreliability/function/InverseFunction.java index 210864d..5202023 100644 --- a/src/main/java/org/jreliability/function/InverseFunction.java +++ b/src/main/java/org/jreliability/function/InverseFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** diff --git a/src/main/java/org/jreliability/function/ReliabilityFunction.java b/src/main/java/org/jreliability/function/ReliabilityFunction.java index 4a18ce1..c54273a 100644 --- a/src/main/java/org/jreliability/function/ReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/ReliabilityFunction.java @@ -1,25 +1,28 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; /** - * The {@link ReliabilityFunction} represents a reliability or survival function {@code R(x)} that is commonly defined - * as
+ * The {@link ReliabilityFunction} represents a reliability or survival function + * {@code R(x)} that is commonly defined as
* {@code R(x) = 1 - F(x)},
* with {@code F(x)} being a {@link Distribution} {@code F(x)}. *

- * The reliability function gives at time {@code x} the probability that the object of interest survives beyond - * {@code x}. + * The reliability function gives at time {@code x} the probability that the + * object of interest survives beyond {@code x}. * * @author glass * diff --git a/src/main/java/org/jreliability/function/ReliabilityFunctionSet.java b/src/main/java/org/jreliability/function/ReliabilityFunctionSet.java index 6222468..bffc1d1 100644 --- a/src/main/java/org/jreliability/function/ReliabilityFunctionSet.java +++ b/src/main/java/org/jreliability/function/ReliabilityFunctionSet.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function; import java.util.HashSet; @@ -18,8 +21,8 @@ import org.jreliability.function.common.ParallelReliabilityFunction; /** - * The {@link ReliabilityFunctionSet} is the basic class for functions defined over a set of - * {@link ReliabilityFunction}s. + * The {@link ReliabilityFunctionSet} is the basic class for functions defined + * over a set of {@link ReliabilityFunction}s. * * @author glass * @@ -39,7 +42,8 @@ public ReliabilityFunctionSet() { } /** - * Constructs a {@link ParallelReliabilityFunction} with a given set of {@link ReliabilityFunction}s. + * Constructs a {@link ParallelReliabilityFunction} with a given set of + * {@link ReliabilityFunction}s. * * @param functions * the reliability functions diff --git a/src/main/java/org/jreliability/function/common/ConstantFailureFunction.java b/src/main/java/org/jreliability/function/common/ConstantFailureFunction.java index a83fb5a..c045734 100644 --- a/src/main/java/org/jreliability/function/common/ConstantFailureFunction.java +++ b/src/main/java/org/jreliability/function/common/ConstantFailureFunction.java @@ -1,7 +1,22 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.function.common; /** - * The {@link ConstantFailureFunction} returns a constant failure probability for which it must hold that
+ * The {@link ConstantFailureFunction} returns a constant failure probability + * for which it must hold that
* {@code 0 =< failure probability =< 1}. * * @author glass diff --git a/src/main/java/org/jreliability/function/common/ConstantReliabilityFunction.java b/src/main/java/org/jreliability/function/common/ConstantReliabilityFunction.java index 5ab3d92..548182d 100644 --- a/src/main/java/org/jreliability/function/common/ConstantReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/ConstantReliabilityFunction.java @@ -1,9 +1,24 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; /** - * The {@link ConstantReliabilityFunction} returns a constant success probability for which it must hold that
+ * The {@link ConstantReliabilityFunction} returns a constant success + * probability for which it must hold that
* {@code 0 =< failure probability =< 1}. * * @author glass diff --git a/src/main/java/org/jreliability/function/common/ExponentialFailureFunction.java b/src/main/java/org/jreliability/function/common/ExponentialFailureFunction.java index 08be683..470b92c 100644 --- a/src/main/java/org/jreliability/function/common/ExponentialFailureFunction.java +++ b/src/main/java/org/jreliability/function/common/ExponentialFailureFunction.java @@ -1,9 +1,25 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.function.common; /** - * The {@link ExponentialFailureFunction} represents the exponential behavior of cumulative failure probability
+ * The {@link ExponentialFailureFunction} represents the exponential behavior of + * cumulative failure probability
* {@code F(x) = 1 - e^-(alpha * x)}
- * of a failure caused with a fixed rate/probability of occurrence {@code alpha > 0}. + * of a failure caused with a fixed rate/probability of occurrence + * {@code alpha > 0}. * * @author khosravi */ @@ -15,7 +31,8 @@ public ExponentialFailureFunction(double alpha) { /** * @param x - * represents time t at which the failure probability is acquired. + * represents time t at which the failure probability is + * acquired. * @return y failure probability at time t */ @Override diff --git a/src/main/java/org/jreliability/function/common/ExponentialReliabilityFunction.java b/src/main/java/org/jreliability/function/common/ExponentialReliabilityFunction.java index 91dddfd..2ca1f73 100644 --- a/src/main/java/org/jreliability/function/common/ExponentialReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/ExponentialReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; diff --git a/src/main/java/org/jreliability/function/common/HjorthReliabilityFunction.java b/src/main/java/org/jreliability/function/common/HjorthReliabilityFunction.java index 2135c0b..13f5569 100644 --- a/src/main/java/org/jreliability/function/common/HjorthReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/HjorthReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; diff --git a/src/main/java/org/jreliability/function/common/LognormalReliabilityFunction.java b/src/main/java/org/jreliability/function/common/LognormalReliabilityFunction.java index 53bd029..09b6409 100644 --- a/src/main/java/org/jreliability/function/common/LognormalReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/LognormalReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; diff --git a/src/main/java/org/jreliability/function/common/NMWDReliabilityFunction.java b/src/main/java/org/jreliability/function/common/NMWDReliabilityFunction.java index 50a941c..7e970bd 100644 --- a/src/main/java/org/jreliability/function/common/NMWDReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/NMWDReliabilityFunction.java @@ -1,32 +1,37 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; /** - * The {@link NMWDReliabilityFunction} represents the NMWD {@link ReliabilityFunction} based on the - * {@link WeibullReliabilityFunction} with a third parameter: + * The {@link NMWDReliabilityFunction} represents the NMWD + * {@link ReliabilityFunction} based on the {@link WeibullReliabilityFunction} + * with a third parameter: *

* {@code R(x) = 1 - F(x) = e^-(a * x^b * e^(lambda * x))}
* with {@code lambda, a > 0 and b >= 0}. *

- * While the parameter {@code lambda} scales the reliabilityFunction, the {@code a} and {@code b} parameters determine - * the shape of the {@link ReliabilityFunction}. This function allows to model bathtub-shaped failure rates that can - * directly be derived from given Weibull plots, cf. [1]. + * While the parameter {@code lambda} scales the reliabilityFunction, the + * {@code a} and {@code b} parameters determine the shape of the + * {@link ReliabilityFunction}. This function allows to model bathtub-shaped + * failure rates that can directly be derived from given Weibull plots, cf. [1]. *

- * [1] Lai, C.D. and Xie, Min and Murthy, D. N. P.: A Modified Weibull Distribution. In IEEE Transactions on - * Reliability, Vol. 52, No. 1, 2003. + * [1] Lai, C.D. and Xie, Min and Murthy, D. N. P.: A Modified Weibull + * Distribution. In IEEE Transactions on Reliability, Vol. 52, No. 1, 2003. * * @author glass * @@ -34,7 +39,8 @@ public class NMWDReliabilityFunction implements ReliabilityFunction { /** - * The {@code lambda} parameter somehow resembles the failure-rate {@code lambda}. + * The {@code lambda} parameter somehow resembles the failure-rate + * {@code lambda}. */ protected final double lambda; @@ -49,7 +55,8 @@ public class NMWDReliabilityFunction implements ReliabilityFunction { protected final double b; /** - * Constructs a {@link NMWDReliabilityFunction} with a given {@code lambda}, {@code a}, and {@code b}. + * Constructs a {@link NMWDReliabilityFunction} with a given {@code lambda}, + * {@code a}, and {@code b}. * * @param lambda * the scale value diff --git a/src/main/java/org/jreliability/function/common/NormalReliabilityFunction.java b/src/main/java/org/jreliability/function/common/NormalReliabilityFunction.java index f036967..440951e 100644 --- a/src/main/java/org/jreliability/function/common/NormalReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/NormalReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; diff --git a/src/main/java/org/jreliability/function/common/ParallelReliabilityFunction.java b/src/main/java/org/jreliability/function/common/ParallelReliabilityFunction.java index 89f2027..a5a7c69 100644 --- a/src/main/java/org/jreliability/function/common/ParallelReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/ParallelReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.Set; @@ -18,10 +21,12 @@ import org.jreliability.function.ReliabilityFunctionSet; /** - * The {@link ParallelReliabilityFunction} corresponds to a parallel-structure of elements in a system as known from - * Serial-Parallel systems. Basically, the {@link ParallelReliabilityFunction} holds a set of - * {@link ReliabilityFunction}s and multiplies their {@code (1-y)}-values and calculates the counter probability to - * derive the {@code y}-value of the whole parallel-structure. + * The {@link ParallelReliabilityFunction} corresponds to a parallel-structure + * of elements in a system as known from Serial-Parallel systems. Basically, the + * {@link ParallelReliabilityFunction} holds a set of + * {@link ReliabilityFunction}s and multiplies their {@code (1-y)}-values and + * calculates the counter probability to derive the {@code y}-value of the whole + * parallel-structure. * * @author glass * @@ -37,7 +42,8 @@ public ParallelReliabilityFunction() { } /** - * Constructs a {@link ParallelReliabilityFunction} with a given set of {@link ReliabilityFunction}s. + * Constructs a {@link ParallelReliabilityFunction} with a given set of + * {@link ReliabilityFunction}s. * * @param functions * the reliability functions diff --git a/src/main/java/org/jreliability/function/common/SampledReliabilityFunction.java b/src/main/java/org/jreliability/function/common/SampledReliabilityFunction.java index aac09db..88005dc 100644 --- a/src/main/java/org/jreliability/function/common/SampledReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/SampledReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.ArrayList; @@ -20,8 +23,8 @@ import org.jreliability.function.ReliabilityFunction; /** - * The {@link SampledReliabilityFunction} approximates a {@link - * ReliabilityFunction} from a set of Samples. + * The {@link SampledReliabilityFunction} approximates a + * {@link ReliabilityFunction} from a set of Samples. * * @author glass, lukasiewycz * diff --git a/src/main/java/org/jreliability/function/common/SerialReliabilityFunction.java b/src/main/java/org/jreliability/function/common/SerialReliabilityFunction.java index 217493d..3e4d482 100644 --- a/src/main/java/org/jreliability/function/common/SerialReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/SerialReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.Set; @@ -18,9 +21,11 @@ import org.jreliability.function.ReliabilityFunctionSet; /** - * The {@link SerialReliabilityFunction} corresponds to a serial-structure of elements in a system as known from - * Serial-Parallel systems. Basically, the {@link SerialReliabilityFunction} holds a set of {@link ReliabilityFunction}s - * and multiplies their {@code y}-values to derive the {@code y}-value of the whole serial-structure. + * The {@link SerialReliabilityFunction} corresponds to a serial-structure of + * elements in a system as known from Serial-Parallel systems. Basically, the + * {@link SerialReliabilityFunction} holds a set of {@link ReliabilityFunction}s + * and multiplies their {@code y}-values to derive the {@code y}-value of the + * whole serial-structure. * * @author glass * @@ -36,7 +41,8 @@ public SerialReliabilityFunction() { } /** - * Constructs a {@link SerialReliabilityFunction} with a given set of {@link ReliabilityFunction}s. + * Constructs a {@link SerialReliabilityFunction} with a given set of + * {@link ReliabilityFunction}s. * * @param functions * the reliability functions diff --git a/src/main/java/org/jreliability/function/common/SimpleFunctionTransformer.java b/src/main/java/org/jreliability/function/common/SimpleFunctionTransformer.java index d65eff2..527c8ea 100644 --- a/src/main/java/org/jreliability/function/common/SimpleFunctionTransformer.java +++ b/src/main/java/org/jreliability/function/common/SimpleFunctionTransformer.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.HashMap; @@ -19,10 +22,12 @@ import org.jreliability.function.ReliabilityFunction; /** - * The {@link SimpleFunctionTransformer} is a basic implementation of a function {@link Transformer}. + * The {@link SimpleFunctionTransformer} is a basic implementation of a function + * {@link Transformer}. *

- * Note: This functionTransformer has to be initialized with all elements {@code T} and their corresponding - * {@link ReliabilityFunction}s before using it. + * Note: This functionTransformer has to be initialized with all elements + * {@code T} and their corresponding {@link ReliabilityFunction}s before using + * it. * * @author glass * @@ -45,8 +50,8 @@ public SimpleFunctionTransformer() { } /** - * Constructs a {@link SimpleFunctionTransformer} with given elements {@code T} and corresponding - * {@link ReliabilityFunction}s. + * Constructs a {@link SimpleFunctionTransformer} with given elements + * {@code T} and corresponding {@link ReliabilityFunction}s. * * @param reliabilityFunctions * elements and their reliability functions diff --git a/src/main/java/org/jreliability/function/common/SumReliabilityFunction.java b/src/main/java/org/jreliability/function/common/SumReliabilityFunction.java index cf28ba8..864bc1f 100644 --- a/src/main/java/org/jreliability/function/common/SumReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/SumReliabilityFunction.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.Set; @@ -18,7 +21,8 @@ import org.jreliability.function.ReliabilityFunctionSet; /** - * The {@link SumReliabilityFunction} determines the sum of the specified set of {@link ReliabilityFunction}s. + * The {@link SumReliabilityFunction} determines the sum of the specified set of + * {@link ReliabilityFunction}s. * * @author glass * @@ -34,7 +38,8 @@ public SumReliabilityFunction() { } /** - * Constructs a {@link SumReliabilityFunction} with a given set of {@link ReliabilityFunction}s. + * Constructs a {@link SumReliabilityFunction} with a given set of + * {@link ReliabilityFunction}s. * * @param functions * the reliability functions diff --git a/src/main/java/org/jreliability/function/common/WeibullReliabilityFunction.java b/src/main/java/org/jreliability/function/common/WeibullReliabilityFunction.java index 11955f4..89eeb4f 100644 --- a/src/main/java/org/jreliability/function/common/WeibullReliabilityFunction.java +++ b/src/main/java/org/jreliability/function/common/WeibullReliabilityFunction.java @@ -1,27 +1,33 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.jreliability.function.ReliabilityFunction; /** - * The {@link WeibullReliabilityFunction} represents the 2-parameter Weibull reliability function + * The {@link WeibullReliabilityFunction} represents the 2-parameter Weibull + * reliability function *

* {@code R(x) = 1 - F(x) = e^-((x / nu)^beta))} = e^-((alpha * x)^beta))}
* with {@code alpha, beta > 0}. *

- * While the parameter {@code alpha = 1 / nu} scales the {@link ReliabilityFunction} and, thus, somehow corresponds to the - * failure-rate {@code lambda}, the {@code beta} parameter determines the shape of the {@link ReliabilityFunction}. + * While the parameter {@code alpha = 1 / nu} scales the + * {@link ReliabilityFunction} and, thus, somehow corresponds to the + * failure-rate {@code lambda}, the {@code beta} parameter determines the shape + * of the {@link ReliabilityFunction}. * * @author glass * @@ -29,7 +35,8 @@ public class WeibullReliabilityFunction implements ReliabilityFunction { /** - * The {@code alpha} parameter somehow resembles the failure-rate {@code lambda}. + * The {@code alpha} parameter somehow resembles the failure-rate + * {@code lambda}. */ protected final double alpha; @@ -39,7 +46,8 @@ public class WeibullReliabilityFunction implements ReliabilityFunction { protected final double beta; /** - * Constructs a {@link WeibullReliabilityFunction} with a given {@code alpha} and {@code beta}. + * Constructs a {@link WeibullReliabilityFunction} with a given + * {@code alpha} and {@code beta}. * * @param alpha * the scale value diff --git a/src/main/java/org/jreliability/function/common/package-info.java b/src/main/java/org/jreliability/function/common/package-info.java index 1b9d4d6..173c192 100644 --- a/src/main/java/org/jreliability/function/common/package-info.java +++ b/src/main/java/org/jreliability/function/common/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the commonly used {@link org.jreliability.function.Function}s and * {@link org.jreliability.function.Distribution}s for the reliability analysis. diff --git a/src/main/java/org/jreliability/function/package-info.java b/src/main/java/org/jreliability/function/package-info.java index 7964339..7430633 100644 --- a/src/main/java/org/jreliability/function/package-info.java +++ b/src/main/java/org/jreliability/function/package-info.java @@ -1,6 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for the {@link org.jreliability.function.Distribution}s used for the calculation of the - * top-event. + * Provides the classes for the {@link org.jreliability.function.Distribution}s + * used for the calculation of the top-event. * */ package org.jreliability.function; diff --git a/src/main/java/org/jreliability/gui/MeasuresPanel.java b/src/main/java/org/jreliability/gui/MeasuresPanel.java index a09a2e2..949b931 100644 --- a/src/main/java/org/jreliability/gui/MeasuresPanel.java +++ b/src/main/java/org/jreliability/gui/MeasuresPanel.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui; import java.awt.Dimension; diff --git a/src/main/java/org/jreliability/gui/ReliabilityFunctionPlotPanel.java b/src/main/java/org/jreliability/gui/ReliabilityFunctionPlotPanel.java index bcc830a..ea1b8dd 100644 --- a/src/main/java/org/jreliability/gui/ReliabilityFunctionPlotPanel.java +++ b/src/main/java/org/jreliability/gui/ReliabilityFunctionPlotPanel.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui; import java.awt.BorderLayout; @@ -38,8 +41,8 @@ import ptolemy.plot.Plot; /** - * The {@link ReliabilityFunctionPlotPanel} is a basic GUI to visualize the reliability {@link Aspect}s for given - * {@link ReliabilityFunction}s. + * The {@link ReliabilityFunctionPlotPanel} is a basic GUI to visualize the + * reliability {@link Aspect}s for given {@link ReliabilityFunction}s. * * @author glass * @@ -57,8 +60,8 @@ public class ReliabilityFunctionPlotPanel extends JPanel { protected Plot plot; /** - * The used sampleCollector to determine the {@link Samples} of a {@link ReliabilityFunction} under a given - * {@link Aspect}. + * The used sampleCollector to determine the {@link Samples} of a + * {@link ReliabilityFunction} under a given {@link Aspect}. */ protected SampleCollector sampleCollector; @@ -93,7 +96,8 @@ public class ReliabilityFunctionPlotPanel extends JPanel { protected final Map indices = new HashMap<>(); /** - * The {@link AspectPicker} is used to choose between the different {@link Aspect}s. + * The {@link AspectPicker} is used to choose between the different + * {@link Aspect}s. * * @author lukasiewycz, glass * @@ -120,7 +124,8 @@ protected class AspectPicker extends JToolBar implements ActionListener { protected ReliabilityFunctionPlotPanel panel; /** - * Constructs an {@link AspectPicker} with a given {@link JPanel} and the {@link Aspect}s. + * Constructs an {@link AspectPicker} with a given {@link JPanel} and + * the {@link Aspect}s. * * @param panel * the panel @@ -168,7 +173,8 @@ private void initSelection() { /* * (non-Javadoc) * - * @see java.awt.event.ActionListener#actionPerformed(java.awt.event.ActionEvent ) + * @see java.awt.event.ActionListener#actionPerformed(java.awt.event. + * ActionEvent ) */ @Override public void actionPerformed(ActionEvent arg0) { @@ -206,7 +212,8 @@ public void set(Aspect aspect) { } /** - * Constructs a {@link ReliabilityFunctionPlotPanel} with the given {@link Aspect}s. + * Constructs a {@link ReliabilityFunctionPlotPanel} with the given + * {@link Aspect}s. * * @param aspects * the aspects @@ -216,7 +223,8 @@ public ReliabilityFunctionPlotPanel(List aspects) { } /** - * Returns the {@link JPanel} for a given set of {@link ReliabilityFunction}s. + * Returns the {@link JPanel} for a given set of + * {@link ReliabilityFunction}s. * * @param reliabilityFunctions * the reliabilityFunctions diff --git a/src/main/java/org/jreliability/gui/ReliabilityViewer.java b/src/main/java/org/jreliability/gui/ReliabilityViewer.java index 05df1d8..68dce65 100644 --- a/src/main/java/org/jreliability/gui/ReliabilityViewer.java +++ b/src/main/java/org/jreliability/gui/ReliabilityViewer.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui; import java.awt.Container; diff --git a/src/main/java/org/jreliability/gui/aspect/AbstractAspect.java b/src/main/java/org/jreliability/gui/aspect/AbstractAspect.java index add00fb..3a484df 100644 --- a/src/main/java/org/jreliability/gui/aspect/AbstractAspect.java +++ b/src/main/java/org/jreliability/gui/aspect/AbstractAspect.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui.aspect; import org.jreliability.function.ReliabilityFunction; @@ -43,7 +46,8 @@ public abstract class AbstractAspect implements Aspect { protected double lower = 0; /** - * Constructs an {@link AbstractAspect} with a given name and labels for the x-axis and y-axis. + * Constructs an {@link AbstractAspect} with a given name and labels for the + * x-axis and y-axis. * * @param name * the name of the aspect @@ -92,7 +96,8 @@ public String getYAxis() { /* * (non-Javadoc) * - * @see org.jreliability.gui.Aspect#getLower(org.jreliability.function. Function) + * @see org.jreliability.gui.Aspect#getLower(org.jreliability.function. + * Function) */ @Override public double getLower(ReliabilityFunction reliabilityFunction) { diff --git a/src/main/java/org/jreliability/gui/aspect/Aspect.java b/src/main/java/org/jreliability/gui/aspect/Aspect.java index 6772c40..6386125 100644 --- a/src/main/java/org/jreliability/gui/aspect/Aspect.java +++ b/src/main/java/org/jreliability/gui/aspect/Aspect.java @@ -1,22 +1,26 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui.aspect; import org.jreliability.function.ReliabilityFunction; /** - * The {@link Aspect} allows to determine the {@code y-value} for the {@link ReliabilityFunction} {@code y = R(x)} under - * the current {@link Aspect}. + * The {@link Aspect} allows to determine the {@code y-value} for the + * {@link ReliabilityFunction} {@code y = R(x)} under the current + * {@link Aspect}. * * @author glass * @@ -24,8 +28,8 @@ public interface Aspect { /** - * Returns the {@code y-value} for the {@link ReliabilityFunction} {@code y = R(x)} under the current - * {@link Aspect}. + * Returns the {@code y-value} for the {@link ReliabilityFunction} + * {@code y = R(x)} under the current {@link Aspect}. * * @param x * the x-value @@ -33,7 +37,8 @@ public interface Aspect { * @param reliabilityFunction * the reliabilityFunction * - * @return the y-value for the reliabilityFunction y = R(x) under the current aspect + * @return the y-value for the reliabilityFunction y = R(x) under the + * current aspect */ public Double getY(double x, ReliabilityFunction reliabilityFunction); @@ -59,7 +64,8 @@ public interface Aspect { public String getYAxis(); /** - * Returns the lower bound of the {@link ReliabilityFunction} under the current {@link Aspect}. + * Returns the lower bound of the {@link ReliabilityFunction} under the + * current {@link Aspect}. * * @param reliabilityFunction * the reliabilityFunction @@ -68,7 +74,8 @@ public interface Aspect { public double getLower(ReliabilityFunction reliabilityFunction); /** - * Returns the upper bound of the {@link ReliabilityFunction} under the current {@link Aspect}. + * Returns the upper bound of the {@link ReliabilityFunction} under the + * current {@link Aspect}. * * @param reliabilityFunction * the reliabilityFunction diff --git a/src/main/java/org/jreliability/gui/aspect/DensityAspect.java b/src/main/java/org/jreliability/gui/aspect/DensityAspect.java index 594c65e..807aa6c 100644 --- a/src/main/java/org/jreliability/gui/aspect/DensityAspect.java +++ b/src/main/java/org/jreliability/gui/aspect/DensityAspect.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.gui.aspect; @@ -19,8 +33,8 @@ import org.jreliability.function.ReliabilityFunction; /** - * The {@link DensityAspect} represents the density of a {@link - * ReliabilityFunction}. + * The {@link DensityAspect} represents the density of a + * {@link ReliabilityFunction}. * * @author glass * diff --git a/src/main/java/org/jreliability/gui/aspect/DistributionAspect.java b/src/main/java/org/jreliability/gui/aspect/DistributionAspect.java index 1a512da..68a09d9 100644 --- a/src/main/java/org/jreliability/gui/aspect/DistributionAspect.java +++ b/src/main/java/org/jreliability/gui/aspect/DistributionAspect.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.gui.aspect; diff --git a/src/main/java/org/jreliability/gui/aspect/FailureRateAspect.java b/src/main/java/org/jreliability/gui/aspect/FailureRateAspect.java index 1dcd80a..287fef9 100644 --- a/src/main/java/org/jreliability/gui/aspect/FailureRateAspect.java +++ b/src/main/java/org/jreliability/gui/aspect/FailureRateAspect.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.gui.aspect; diff --git a/src/main/java/org/jreliability/gui/aspect/ReliabilityFunctionAspect.java b/src/main/java/org/jreliability/gui/aspect/ReliabilityFunctionAspect.java index 86ae311..00a5c57 100644 --- a/src/main/java/org/jreliability/gui/aspect/ReliabilityFunctionAspect.java +++ b/src/main/java/org/jreliability/gui/aspect/ReliabilityFunctionAspect.java @@ -1,22 +1,26 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui.aspect; import org.jreliability.evaluator.MomentEvaluator; import org.jreliability.function.ReliabilityFunction; /** - * The {@link ReliabilityFunctionAspect} plots the {@link ReliabilityFunction} itself. + * The {@link ReliabilityFunctionAspect} plots the {@link ReliabilityFunction} + * itself. * * @author glass * @@ -34,7 +38,8 @@ public ReliabilityFunctionAspect() { /* * (non-Javadoc) * - * @see org.jreliability.gui.Aspect#getUpper(org.jreliability.function. Function) + * @see org.jreliability.gui.Aspect#getUpper(org.jreliability.function. + * Function) */ @Override public double getUpper(ReliabilityFunction reliabilityFunction) { @@ -45,7 +50,8 @@ public double getUpper(ReliabilityFunction reliabilityFunction) { /* * (non-Javadoc) * - * @see org.jreliability.gui.Aspect#getY(double, org.jreliability.function.Function) + * @see org.jreliability.gui.Aspect#getY(double, + * org.jreliability.function.Function) */ @Override public Double getY(double x, ReliabilityFunction reliabilityFunction) { diff --git a/src/main/java/org/jreliability/gui/aspect/SampleCollector.java b/src/main/java/org/jreliability/gui/aspect/SampleCollector.java index 7a8b1c1..c13dcf7 100644 --- a/src/main/java/org/jreliability/gui/aspect/SampleCollector.java +++ b/src/main/java/org/jreliability/gui/aspect/SampleCollector.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.gui.aspect; import java.util.Map; diff --git a/src/main/java/org/jreliability/gui/aspect/package-info.java b/src/main/java/org/jreliability/gui/aspect/package-info.java index 678ee19..1a760b6 100644 --- a/src/main/java/org/jreliability/gui/aspect/package-info.java +++ b/src/main/java/org/jreliability/gui/aspect/package-info.java @@ -1,5 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for the different aspects of the functions and their plots in the GUI. + * Provides the classes for the different aspects of the functions and their + * plots in the GUI. * */ package org.jreliability.gui.aspect; diff --git a/src/main/java/org/jreliability/gui/package-info.java b/src/main/java/org/jreliability/gui/package-info.java index 9722121..2bfe510 100644 --- a/src/main/java/org/jreliability/gui/package-info.java +++ b/src/main/java/org/jreliability/gui/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the classes for a simple GUI showing different reliability samplers. * diff --git a/src/main/java/org/jreliability/sl/SL.java b/src/main/java/org/jreliability/sl/SL.java index d0d0e42..db69bee 100644 --- a/src/main/java/org/jreliability/sl/SL.java +++ b/src/main/java/org/jreliability/sl/SL.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.sl; import java.util.ArrayList; @@ -166,7 +180,7 @@ protected void evaluate(Transformer transformer) { } else if (term instanceof NOTTerm) { evaluateNOT(term); } else { - throw new IllegalArgumentException("SL does not support terms of class "+term.getClass()); + throw new IllegalArgumentException("SL does not support terms of class " + term.getClass()); } } } diff --git a/src/main/java/org/jreliability/sl/SLReliabilityFunction.java b/src/main/java/org/jreliability/sl/SLReliabilityFunction.java index 03681e8..6e24b39 100644 --- a/src/main/java/org/jreliability/sl/SLReliabilityFunction.java +++ b/src/main/java/org/jreliability/sl/SLReliabilityFunction.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.sl; import org.apache.commons.collections15.Transformer; diff --git a/src/main/java/org/jreliability/sl/package-info.java b/src/main/java/org/jreliability/sl/package-info.java index 35f7656..3b2a786 100644 --- a/src/main/java/org/jreliability/sl/package-info.java +++ b/src/main/java/org/jreliability/sl/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the classes to employ Stochastic Logic [A] for the analysis. * diff --git a/src/main/java/org/jreliability/tester/ConstraintTester.java b/src/main/java/org/jreliability/tester/ConstraintTester.java index b1bbdcf..fe7ee0e 100644 --- a/src/main/java/org/jreliability/tester/ConstraintTester.java +++ b/src/main/java/org/jreliability/tester/ConstraintTester.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.tester; import java.util.ArrayList; @@ -25,7 +28,8 @@ import org.jreliability.booleanfunction.common.LiteralTerm; /** - * The {@link ConstraintTester} can be used to test the {@link BDDTTRF#convertToBDD(Term)} function. + * The {@link ConstraintTester} can be used to test the + * {@link BDDTTRF#convertToBDD(Term)} function. * * @author glass * diff --git a/src/main/java/org/jreliability/tester/MemoryLeakTest.java b/src/main/java/org/jreliability/tester/MemoryLeakTest.java index 07832f3..65834e8 100644 --- a/src/main/java/org/jreliability/tester/MemoryLeakTest.java +++ b/src/main/java/org/jreliability/tester/MemoryLeakTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tester; import java.util.HashSet; @@ -35,9 +49,11 @@ public static void main(String[] args) { Random r = new Random(0); /* - * for (int i = 0; i < 1000; i++) { BDD and = bddProvider.one(); for (int j = 0; j < 10; j++) { - * Set vars = new HashSet(); for (int k = 0; k < 30; k++) { vars.add(r.nextInt(100)); } - * BDD or = bddProvider.zero(); for (int var : vars) { BDD bdd = bddProvider.get(var); + * for (int i = 0; i < 1000; i++) { BDD and = + * bddProvider.one(); for (int j = 0; j < 10; j++) { Set vars = + * new HashSet(); for (int k = 0; k < 30; k++) { + * vars.add(r.nextInt(100)); } BDD or = bddProvider.zero(); for + * (int var : vars) { BDD bdd = bddProvider.get(var); * or.orWith(bdd); } and.andWith(or); } * * and.free(); } diff --git a/src/main/java/org/jreliability/tester/ReliabilityTester.java b/src/main/java/org/jreliability/tester/ReliabilityTester.java index c3e6c4a..7bcfbb5 100644 --- a/src/main/java/org/jreliability/tester/ReliabilityTester.java +++ b/src/main/java/org/jreliability/tester/ReliabilityTester.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.tester; import java.util.HashMap; @@ -25,8 +28,8 @@ import org.jreliability.gui.ReliabilityViewer; /** - * The {@link ReliabilityTester} is a basic tester that uses the {@link - * TestExample} to launch the {@link ReliabilityViewer}. + * The {@link ReliabilityTester} is a basic tester that uses the + * {@link TestExample} to launch the {@link ReliabilityViewer}. * * @author glass * diff --git a/src/main/java/org/jreliability/tester/TestExample.java b/src/main/java/org/jreliability/tester/TestExample.java index 5565cf5..6e296f8 100644 --- a/src/main/java/org/jreliability/tester/TestExample.java +++ b/src/main/java/org/jreliability/tester/TestExample.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.tester; import org.jreliability.booleanfunction.Term; diff --git a/src/main/java/org/jreliability/tester/TestExponentialTransformer.java b/src/main/java/org/jreliability/tester/TestExponentialTransformer.java index 156198e..9027757 100644 --- a/src/main/java/org/jreliability/tester/TestExponentialTransformer.java +++ b/src/main/java/org/jreliability/tester/TestExponentialTransformer.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.tester; import java.util.HashMap; @@ -20,8 +23,9 @@ import org.jreliability.function.common.ExponentialReliabilityFunction; /** - * The {@link TestExponentialTransformer} is a {@link Transformer} for the {@link TestExample} that uses - * {@link ExponentialReliabilityFunction} as {@link ReliabilityFunction}s. + * The {@link TestExponentialTransformer} is a {@link Transformer} for the + * {@link TestExample} that uses {@link ExponentialReliabilityFunction} as + * {@link ReliabilityFunction}s. * * @author glass * diff --git a/src/main/java/org/jreliability/tester/TestWeibullTransformer.java b/src/main/java/org/jreliability/tester/TestWeibullTransformer.java index 30e31b7..e770a80 100644 --- a/src/main/java/org/jreliability/tester/TestWeibullTransformer.java +++ b/src/main/java/org/jreliability/tester/TestWeibullTransformer.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.tester; import java.util.HashMap; @@ -20,8 +23,9 @@ import org.jreliability.function.common.WeibullReliabilityFunction; /** - * The {@link TestWeibullTransformer} is a {@link Transformer} for the {@link TestExample} that uses - * {@link WeibullReliabilityFunction}s as {@link ReliabilityFunction}s. + * The {@link TestWeibullTransformer} is a {@link Transformer} for the + * {@link TestExample} that uses {@link WeibullReliabilityFunction}s as + * {@link ReliabilityFunction}s. * * @author glass * diff --git a/src/main/java/org/jreliability/tester/package-info.java b/src/main/java/org/jreliability/tester/package-info.java index fb2f963..7da2532 100644 --- a/src/main/java/org/jreliability/tester/package-info.java +++ b/src/main/java/org/jreliability/tester/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the classes for a simple test example including the GUI. * diff --git a/src/main/java/org/jreliability/tutorial/boiler/Boiler.java b/src/main/java/org/jreliability/tutorial/boiler/Boiler.java index 25b6228..8678b9b 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/Boiler.java +++ b/src/main/java/org/jreliability/tutorial/boiler/Boiler.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; import java.util.ArrayList; @@ -14,15 +28,19 @@ import org.jreliability.function.ReliabilityFunction; /** - * The {@link Boiler} models a boiler that is responsible for keeping the water in a tank at the desired temperature and - * pumping it to a destination if needed. + * The {@link Boiler} models a boiler that is responsible for keeping the water + * in a tank at the desired temperature and pumping it to a destination if + * needed. *

- * The {@link Boiler} consists of two {@link Sensor}s that measure the water temperature, a {@link Controller} that - * activates and deactivates a {@link Heater} to control the water temperature as well as it activates and deactivates - * one of two available {@link Pump}s to pump the water to its destination if needed. + * The {@link Boiler} consists of two {@link Sensor}s that measure the water + * temperature, a {@link Controller} that activates and deactivates a + * {@link Heater} to control the water temperature as well as it activates and + * deactivates one of two available {@link Pump}s to pump the water to its + * destination if needed. *

- * The non-minimized boolean function that describes whether this system works correctly (evaluates to {@code 1}) or - * fails (evaluates to {@code 0}) is as follows:
+ * The non-minimized boolean function that describes whether this system works + * correctly (evaluates to {@code 1}) or fails (evaluates to {@code 0}) is as + * follows:
* {@code ((Sensor1 AND Sensor2) AND Controller) AND (Controller AND Heater) AND * (Controller AND (Pump1 OR Pump2))} * @@ -129,7 +147,8 @@ public Term getTerm() { } /** - * Returns the {@link ReliabilityFunction} that represents the {@link Boiler}. + * Returns the {@link ReliabilityFunction} that represents the + * {@link Boiler}. * * @return the reliability function of the boiler */ diff --git a/src/main/java/org/jreliability/tutorial/boiler/BoilerComponent.java b/src/main/java/org/jreliability/tutorial/boiler/BoilerComponent.java index 1ebe2e7..9e25e25 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/BoilerComponent.java +++ b/src/main/java/org/jreliability/tutorial/boiler/BoilerComponent.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; /** diff --git a/src/main/java/org/jreliability/tutorial/boiler/BoilerTester.java b/src/main/java/org/jreliability/tutorial/boiler/BoilerTester.java index fe445e5..3a8de42 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/BoilerTester.java +++ b/src/main/java/org/jreliability/tutorial/boiler/BoilerTester.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; import java.util.HashMap; diff --git a/src/main/java/org/jreliability/tutorial/boiler/BoilerTransformer.java b/src/main/java/org/jreliability/tutorial/boiler/BoilerTransformer.java index 5cba418..4676e3e 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/BoilerTransformer.java +++ b/src/main/java/org/jreliability/tutorial/boiler/BoilerTransformer.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; import java.util.HashMap; diff --git a/src/main/java/org/jreliability/tutorial/boiler/Controller.java b/src/main/java/org/jreliability/tutorial/boiler/Controller.java index 8d13c8e..0e2c8a2 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/Controller.java +++ b/src/main/java/org/jreliability/tutorial/boiler/Controller.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; /** diff --git a/src/main/java/org/jreliability/tutorial/boiler/Heater.java b/src/main/java/org/jreliability/tutorial/boiler/Heater.java index d7fda75..09b028d 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/Heater.java +++ b/src/main/java/org/jreliability/tutorial/boiler/Heater.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; /** diff --git a/src/main/java/org/jreliability/tutorial/boiler/Pump.java b/src/main/java/org/jreliability/tutorial/boiler/Pump.java index 9d8daf1..88daed6 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/Pump.java +++ b/src/main/java/org/jreliability/tutorial/boiler/Pump.java @@ -1,8 +1,22 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; /** - * The {@link Pump} models a pump that is used to pump water from the {@link - * Boiler} to its destination. + * The {@link Pump} models a pump that is used to pump water from the + * {@link Boiler} to its destination. * * @author glass * diff --git a/src/main/java/org/jreliability/tutorial/boiler/Sensor.java b/src/main/java/org/jreliability/tutorial/boiler/Sensor.java index 008726c..f896512 100644 --- a/src/main/java/org/jreliability/tutorial/boiler/Sensor.java +++ b/src/main/java/org/jreliability/tutorial/boiler/Sensor.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.boiler; /** diff --git a/src/main/java/org/jreliability/tutorial/tmr/TMR.java b/src/main/java/org/jreliability/tutorial/tmr/TMR.java index 922111e..7850050 100644 --- a/src/main/java/org/jreliability/tutorial/tmr/TMR.java +++ b/src/main/java/org/jreliability/tutorial/tmr/TMR.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.tmr; import java.util.HashMap; @@ -17,11 +31,13 @@ import org.jreliability.function.common.SimpleFunctionTransformer; /** - * The {@link TMR} models a 2-out-of-3 majority voter commonly known as Triple Modular Redundancy. This behavior can be - * expressed as a linear constrained as follows:
+ * The {@link TMR} models a 2-out-of-3 majority voter commonly known as Triple + * Modular Redundancy. This behavior can be expressed as a linear constrained as + * follows:
* {@code 1*component1 + 1*component2 + 1* component3 >= 2} *

- * The needed comparator to perform the voting is commonly not modeled explicitly due to its extremely high reliability. + * The needed comparator to perform the voting is commonly not modeled + * explicitly due to its extremely high reliability. * * @author glass * @@ -84,7 +100,8 @@ public Term getTerm() { } /** - * Returns {@link ReliabilityFunction} describing the {@link TMR} using the {@link BDDTTRF}. + * Returns {@link ReliabilityFunction} describing the {@link TMR} using the + * {@link BDDTTRF}. * * @return the reliabilityFunction of the TMR */ @@ -97,7 +114,8 @@ public ReliabilityFunction get() { } /** - * Returns a {@link Transformer} for each element of the system to its {@link ReliabilityFunction}. + * Returns a {@link Transformer} for each element of the system to its + * {@link ReliabilityFunction}. * * @return the transformer */ diff --git a/src/main/java/org/jreliability/tutorial/tmr/TMRTester.java b/src/main/java/org/jreliability/tutorial/tmr/TMRTester.java index 4df6c20..65f764e 100644 --- a/src/main/java/org/jreliability/tutorial/tmr/TMRTester.java +++ b/src/main/java/org/jreliability/tutorial/tmr/TMRTester.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.tutorial.tmr; import java.util.HashMap; @@ -16,7 +30,8 @@ import org.jreliability.gui.ReliabilityViewer; /** - * The {@link TMRTester} performs some common actions that are done with a modeled system. + * The {@link TMRTester} performs some common actions that are done with a + * modeled system. * * @author glass * diff --git a/src/test/java/org/jreliability/bdd/AbstractBDDOperatorTest.java b/src/test/java/org/jreliability/bdd/AbstractBDDOperatorTest.java index 1c27e85..77d8a31 100644 --- a/src/test/java/org/jreliability/bdd/AbstractBDDOperatorTest.java +++ b/src/test/java/org/jreliability/bdd/AbstractBDDOperatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.Arrays; @@ -27,7 +30,8 @@ import org.junit.Test; /** - * The {@link AbstractBDDOperatorTest} is the base class for tests of the operators for the {@link BDD}. + * The {@link AbstractBDDOperatorTest} is the base class for tests of the + * operators for the {@link BDD}. * * @author lukasiewycz, reimann * @@ -158,7 +162,8 @@ public void testNodeCount() { } /** - * Tests the {@link and} method on two variables and returning the result to the same object. + * Tests the {@link and} method on two variables and returning the result to + * the same object. * */ @Test @@ -246,7 +251,8 @@ public void testOrWithObject() { } /** - * Tests the {@link or} method on two variables and returning the result to the same object. + * Tests the {@link or} method on two variables and returning the result to + * the same object. * */ @Test @@ -280,7 +286,7 @@ public void testGetVariables() { bdd = bdd.or(provider.get("c")); Assert.assertEquals(BDDs.getVariables(bdd), variables); } - + /** * Tests the {@link BDDs#getNodes(Object, BDD)} method. */ @@ -777,7 +783,8 @@ public void testToString() { } /** - * Test the {@link trim} method. {code 2a <e; 1} is trimmed to {code 1a <e; 1}. + * Test the {@link trim} method. {code 2a <e; 1} is trimmed to {code 1a + * <e; 1}. */ @Test public void testTrim() { @@ -793,7 +800,8 @@ public void testTrim() { } /** - * Test the {@link checkAndAddVariable} method. {code a + a <e; 2} is converted to {code a <e; 1}. + * Test the {@link checkAndAddVariable} method. {code a + a <e; 2} is + * converted to {code a <e; 1}. */ @Test public void testCheckAndAddVariable() { diff --git a/src/test/java/org/jreliability/bdd/AbstractBDDProviderTest.java b/src/test/java/org/jreliability/bdd/AbstractBDDProviderTest.java index 3a63ca3..6d2289c 100644 --- a/src/test/java/org/jreliability/bdd/AbstractBDDProviderTest.java +++ b/src/test/java/org/jreliability/bdd/AbstractBDDProviderTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/bdd/AbstractBDDTest.java b/src/test/java/org/jreliability/bdd/AbstractBDDTest.java index 9620f14..e6bcd67 100644 --- a/src/test/java/org/jreliability/bdd/AbstractBDDTest.java +++ b/src/test/java/org/jreliability/bdd/AbstractBDDTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.junit.Before; diff --git a/src/test/java/org/jreliability/bdd/BDDConstraintTest.java b/src/test/java/org/jreliability/bdd/BDDConstraintTest.java index 144326a..2eab172 100644 --- a/src/test/java/org/jreliability/bdd/BDDConstraintTest.java +++ b/src/test/java/org/jreliability/bdd/BDDConstraintTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import java.util.LinkedList; diff --git a/src/test/java/org/jreliability/bdd/BDDReliabilityFunctionTest.java b/src/test/java/org/jreliability/bdd/BDDReliabilityFunctionTest.java index 73907ed..557fd80 100644 --- a/src/test/java/org/jreliability/bdd/BDDReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/bdd/BDDReliabilityFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.apache.commons.collections15.Transformer; diff --git a/src/test/java/org/jreliability/bdd/BDDTTRFSimulativeTest.java b/src/test/java/org/jreliability/bdd/BDDTTRFSimulativeTest.java index 94a1823..bd6a803 100644 --- a/src/test/java/org/jreliability/bdd/BDDTTRFSimulativeTest.java +++ b/src/test/java/org/jreliability/bdd/BDDTTRFSimulativeTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.apache.commons.collections15.Predicate; diff --git a/src/test/java/org/jreliability/bdd/BDDTTRFTest.java b/src/test/java/org/jreliability/bdd/BDDTTRFTest.java index 3ab7ace..ad3a435 100644 --- a/src/test/java/org/jreliability/bdd/BDDTTRFTest.java +++ b/src/test/java/org/jreliability/bdd/BDDTTRFTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd; import org.apache.commons.collections15.Predicate; @@ -148,7 +151,8 @@ public void testConvertToBDDNotTerm() { } /** - * Tests the {@link BDDTTRF#convert(BDD, org.apache.commons.collections15.Transformer)}. + * Tests the + * {@link BDDTTRF#convert(BDD, org.apache.commons.collections15.Transformer)}. */ @Test public void testConvert() { diff --git a/src/test/java/org/jreliability/bdd/BDDTopEventTest.java b/src/test/java/org/jreliability/bdd/BDDTopEventTest.java index 125546a..cd8ae89 100644 --- a/src/test/java/org/jreliability/bdd/BDDTopEventTest.java +++ b/src/test/java/org/jreliability/bdd/BDDTopEventTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.bdd; import org.apache.commons.collections15.Transformer; @@ -44,7 +58,7 @@ public Double transform(String input) { Assert.assertEquals(0.25, result, 0.000001); } - + @Test public void testCalculateSeriesParallel() { BDD a = provider.get("a"); @@ -52,7 +66,7 @@ public void testCalculateSeriesParallel() { BDD bdd = a.or(b); BDD c = provider.get("c"); bdd = bdd.and(c); - + BDDTopEvent event = new BDDTopEvent<>(bdd); double result = event.calculate(new Transformer() { @Override diff --git a/src/test/java/org/jreliability/bdd/jbdd/JBDDOperatorTest.java b/src/test/java/org/jreliability/bdd/jbdd/JBDDOperatorTest.java index 5031304..3b40e43 100644 --- a/src/test/java/org/jreliability/bdd/jbdd/JBDDOperatorTest.java +++ b/src/test/java/org/jreliability/bdd/jbdd/JBDDOperatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.jbdd; import java.util.Iterator; diff --git a/src/test/java/org/jreliability/bdd/jbdd/JBDDProviderTest.java b/src/test/java/org/jreliability/bdd/jbdd/JBDDProviderTest.java index 11bddb1..a66234f 100644 --- a/src/test/java/org/jreliability/bdd/jbdd/JBDDProviderTest.java +++ b/src/test/java/org/jreliability/bdd/jbdd/JBDDProviderTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.jbdd; import org.jreliability.bdd.AbstractBDDProviderTest; @@ -26,7 +29,8 @@ /** * - * The {@link JBDDProviderTest} is the {@link AbstractBDDProviderTest} for the {@link JBDD}. + * The {@link JBDDProviderTest} is the {@link AbstractBDDProviderTest} for the + * {@link JBDD}. * * @author lukasiewycz * diff --git a/src/test/java/org/jreliability/bdd/jbdd/package-info.java b/src/test/java/org/jreliability/bdd/jbdd/package-info.java index dcaaf3b..2555a1e 100644 --- a/src/test/java/org/jreliability/bdd/jbdd/package-info.java +++ b/src/test/java/org/jreliability/bdd/jbdd/package-info.java @@ -1,5 +1,20 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * Provides the classes for the unit tests of {@link org.jreliability.bdd.javabdd.JBDD}. + * Provides the classes for the unit tests of + * {@link org.jreliability.bdd.javabdd.JBDD}. * */ package org.jreliability.bdd.jbdd; diff --git a/src/test/java/org/jreliability/bdd/jdd/JDDOperatorTest.java b/src/test/java/org/jreliability/bdd/jdd/JDDOperatorTest.java index b1f13d6..8d8086c 100644 --- a/src/test/java/org/jreliability/bdd/jdd/JDDOperatorTest.java +++ b/src/test/java/org/jreliability/bdd/jdd/JDDOperatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.jdd; import org.jreliability.bdd.AbstractBDDOperatorTest; diff --git a/src/test/java/org/jreliability/bdd/jdd/JDDProviderTest.java b/src/test/java/org/jreliability/bdd/jdd/JDDProviderTest.java index 9b851fa..68f65c6 100644 --- a/src/test/java/org/jreliability/bdd/jdd/JDDProviderTest.java +++ b/src/test/java/org/jreliability/bdd/jdd/JDDProviderTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.bdd.jdd; import org.jreliability.bdd.AbstractBDDProviderTest; diff --git a/src/test/java/org/jreliability/bdd/jdd/package-info.java b/src/test/java/org/jreliability/bdd/jdd/package-info.java index 896806d..f3ebde3 100644 --- a/src/test/java/org/jreliability/bdd/jdd/package-info.java +++ b/src/test/java/org/jreliability/bdd/jdd/package-info.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * Provides the classes for the unit tests of {@link JDD}. * diff --git a/src/test/java/org/jreliability/booleanfunction/TermsTest.java b/src/test/java/org/jreliability/booleanfunction/TermsTest.java index 4a666cd..fbc7bc9 100644 --- a/src/test/java/org/jreliability/booleanfunction/TermsTest.java +++ b/src/test/java/org/jreliability/booleanfunction/TermsTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction; import java.lang.reflect.Constructor; diff --git a/src/test/java/org/jreliability/booleanfunction/common/FalseTermTest.java b/src/test/java/org/jreliability/booleanfunction/common/FalseTermTest.java index f2f4435..7ac5576 100644 --- a/src/test/java/org/jreliability/booleanfunction/common/FalseTermTest.java +++ b/src/test/java/org/jreliability/booleanfunction/common/FalseTermTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/booleanfunction/common/LinearTermTest.java b/src/test/java/org/jreliability/booleanfunction/common/LinearTermTest.java index 8569646..06fe424 100644 --- a/src/test/java/org/jreliability/booleanfunction/common/LinearTermTest.java +++ b/src/test/java/org/jreliability/booleanfunction/common/LinearTermTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.booleanfunction.common; import org.jreliability.booleanfunction.Term; diff --git a/src/test/java/org/jreliability/booleanfunction/common/LiteralTermTest.java b/src/test/java/org/jreliability/booleanfunction/common/LiteralTermTest.java index 1a8a828..6c0b85e 100644 --- a/src/test/java/org/jreliability/booleanfunction/common/LiteralTermTest.java +++ b/src/test/java/org/jreliability/booleanfunction/common/LiteralTermTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.junit.Assert; @@ -33,7 +36,7 @@ public void testEquals() { LiteralTerm s6 = null; String s7 = "something"; - + Assert.assertTrue(s1.equals(s1)); Assert.assertTrue(s1.equals(s3)); Assert.assertTrue(s4.equals(s5)); diff --git a/src/test/java/org/jreliability/booleanfunction/common/TrueTermTest.java b/src/test/java/org/jreliability/booleanfunction/common/TrueTermTest.java index 09f4c50..233b6f0 100644 --- a/src/test/java/org/jreliability/booleanfunction/common/TrueTermTest.java +++ b/src/test/java/org/jreliability/booleanfunction/common/TrueTermTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.booleanfunction.common; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/common/FailureTest.java b/src/test/java/org/jreliability/common/FailureTest.java index 72a3a9f..d119646 100644 --- a/src/test/java/org/jreliability/common/FailureTest.java +++ b/src/test/java/org/jreliability/common/FailureTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.common; diff --git a/src/test/java/org/jreliability/common/SamplesTest.java b/src/test/java/org/jreliability/common/SamplesTest.java index d54861a..8f4bdc4 100644 --- a/src/test/java/org/jreliability/common/SamplesTest.java +++ b/src/test/java/org/jreliability/common/SamplesTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.common; diff --git a/src/test/java/org/jreliability/evaluator/IntegralEvaluatorTest.java b/src/test/java/org/jreliability/evaluator/IntegralEvaluatorTest.java index 93a9c97..e73d162 100644 --- a/src/test/java/org/jreliability/evaluator/IntegralEvaluatorTest.java +++ b/src/test/java/org/jreliability/evaluator/IntegralEvaluatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import org.jreliability.function.common.ExponentialReliabilityFunction; @@ -17,8 +20,7 @@ import org.junit.Test; /** - * The {@link IntegralEvaluatorTest} to test the - * {@link IntegralEvaluator}. + * The {@link IntegralEvaluatorTest} to test the {@link IntegralEvaluator}. * * @author glass * @@ -32,11 +34,14 @@ public void testEvaluate() { double integral = evaluator.evaluate(f, 0, 2); Assert.assertEquals(integral, 1.98013, 1.0E-5); } - + @Test public void testNegativeEvaluate() { ExponentialReliabilityFunction f = new ExponentialReliabilityFunction(0.01); - /* Note: The epsilon is in between two integration steps, not the absolute error! */ + /* + * Note: The epsilon is in between two integration steps, not the + * absolute error! + */ IntegralEvaluator evaluator = new IntegralEvaluator(1.0E-7); double integral = evaluator.evaluate(f, -2, 4); Assert.assertEquals(integral, 5.94119, 1.0E-5); diff --git a/src/test/java/org/jreliability/evaluator/InverseEvaluatorTest.java b/src/test/java/org/jreliability/evaluator/InverseEvaluatorTest.java index 7a67b19..c8c6b10 100644 --- a/src/test/java/org/jreliability/evaluator/InverseEvaluatorTest.java +++ b/src/test/java/org/jreliability/evaluator/InverseEvaluatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import org.apache.commons.collections15.Transformer; @@ -49,17 +52,18 @@ public void testEvaluateNoImprovement() { LiteralTerm C1Literal = new LiteralTerm<>(C1); ANDTerm term = new ANDTerm(); term.add(C1Literal); - - SL SL = new SL<>(term, 1000); // use low number of bits for low accurracy + + SL SL = new SL<>(term, 1000); // use low number of bits for low + // accurracy SLReliabilityFunction reliabilityFunction = new SLReliabilityFunction<>(SL, - new Transformer() { - @Override - public ReliabilityFunction transform(String input) { - return new ExponentialReliabilityFunction(0.1); - } - }); + new Transformer() { + @Override + public ReliabilityFunction transform(String input) { + return new ExponentialReliabilityFunction(0.1); + } + }); InverseEvaluator evaluator = new InverseEvaluator(); - Assert.assertEquals(evaluator.evaluate(reliabilityFunction, 0.905), 1.0, 0.1); + Assert.assertEquals(evaluator.evaluate(reliabilityFunction, 0.905), 1.0, 0.1); } } diff --git a/src/test/java/org/jreliability/evaluator/MomentEvaluatorTest.java b/src/test/java/org/jreliability/evaluator/MomentEvaluatorTest.java index 8df6687..d49b311 100644 --- a/src/test/java/org/jreliability/evaluator/MomentEvaluatorTest.java +++ b/src/test/java/org/jreliability/evaluator/MomentEvaluatorTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.evaluator; import org.jreliability.function.common.ExponentialReliabilityFunction; diff --git a/src/test/java/org/jreliability/function/DensityFunctionTest.java b/src/test/java/org/jreliability/function/DensityFunctionTest.java index 84bfad1..c17a231 100644 --- a/src/test/java/org/jreliability/function/DensityFunctionTest.java +++ b/src/test/java/org/jreliability/function/DensityFunctionTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function; diff --git a/src/test/java/org/jreliability/function/DistributionTest.java b/src/test/java/org/jreliability/function/DistributionTest.java index 378c3be..b95fd08 100644 --- a/src/test/java/org/jreliability/function/DistributionTest.java +++ b/src/test/java/org/jreliability/function/DistributionTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function; diff --git a/src/test/java/org/jreliability/function/FailureRateTest.java b/src/test/java/org/jreliability/function/FailureRateTest.java index 56a2517..1abe02c 100644 --- a/src/test/java/org/jreliability/function/FailureRateTest.java +++ b/src/test/java/org/jreliability/function/FailureRateTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function; @@ -35,7 +49,7 @@ public void testGetY() { FailureRate failureRate = new FailureRate(new ExponentialReliabilityFunction(0.005)); Assert.assertEquals(0.005, failureRate.getY(10), 1.0E-5); } - + @Test public void testGetYAtZero() { /* diff --git a/src/test/java/org/jreliability/function/common/ConstantFailureFunctionTest.java b/src/test/java/org/jreliability/function/common/ConstantFailureFunctionTest.java index 4e1d296..a29b3af 100644 --- a/src/test/java/org/jreliability/function/common/ConstantFailureFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/ConstantFailureFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; @@ -33,7 +36,7 @@ public void testIllegalNegativeSuccessProbability() { public void testIllegalPositiveSuccessProbability() { new ConstantFailureFunction(1.1); } - + @Test public void testGetY() { ConstantFailureFunction f = new ConstantFailureFunction(0.125); diff --git a/src/test/java/org/jreliability/function/common/ConstantReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/ConstantReliabilityFunctionTest.java index 2a95183..607eafe 100644 --- a/src/test/java/org/jreliability/function/common/ConstantReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/ConstantReliabilityFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; @@ -33,7 +36,7 @@ public void testIllegalNegativeSuccessProbability() { public void testIllegalPositiveSuccessProbability() { new ConstantReliabilityFunction(1.1); } - + @Test public void testGetY() { ConstantReliabilityFunction f = new ConstantReliabilityFunction(0.975); diff --git a/src/test/java/org/jreliability/function/common/ExponentialFailureFunctionTest.java b/src/test/java/org/jreliability/function/common/ExponentialFailureFunctionTest.java index 85cf66f..2296a58 100644 --- a/src/test/java/org/jreliability/function/common/ExponentialFailureFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/ExponentialFailureFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; @@ -40,5 +43,5 @@ public void testGetY() { ExponentialFailureFunction f = new ExponentialFailureFunction(0.005); Assert.assertEquals(0.0951626, f.getY(20), 0.0001); } - + } diff --git a/src/test/java/org/jreliability/function/common/ExponentialReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/ExponentialReliabilityFunctionTest.java index 11d5e08..0a7ef17 100644 --- a/src/test/java/org/jreliability/function/common/ExponentialReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/ExponentialReliabilityFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/function/common/HjorthReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/HjorthReliabilityFunctionTest.java index a160ec8..421a402 100644 --- a/src/test/java/org/jreliability/function/common/HjorthReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/HjorthReliabilityFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/function/common/LognormalReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/LognormalReliabilityFunctionTest.java index 6ff2793..6067535 100644 --- a/src/test/java/org/jreliability/function/common/LognormalReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/LognormalReliabilityFunctionTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function.common; diff --git a/src/test/java/org/jreliability/function/common/NMWDReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/NMWDReliabilityFunctionTest.java index dc6cb31..7605896 100644 --- a/src/test/java/org/jreliability/function/common/NMWDReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/NMWDReliabilityFunctionTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; diff --git a/src/test/java/org/jreliability/function/common/NormalReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/NormalReliabilityFunctionTest.java index eb72987..059d588 100644 --- a/src/test/java/org/jreliability/function/common/NormalReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/NormalReliabilityFunctionTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function.common; diff --git a/src/test/java/org/jreliability/function/common/ParallelReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/ParallelReliabilityFunctionTest.java index 227b78c..57fee93 100644 --- a/src/test/java/org/jreliability/function/common/ParallelReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/ParallelReliabilityFunctionTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * JReliability is free software: you can redistribute it and/or modify it under * the terms of the GNU Lesser General Public License as published by the Free diff --git a/src/test/java/org/jreliability/function/common/SampledReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/SampledReliabilityFunctionTest.java index 3594b25..b68debc 100644 --- a/src/test/java/org/jreliability/function/common/SampledReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/SampledReliabilityFunctionTest.java @@ -1,16 +1,30 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** - * JReliability is free software: you can redistribute it and/or modify it - * under the terms of the GNU Lesser General Public License as published by - * the Free Software Foundation, either version 3 of the License, or (at your - * option) any later version. + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. * * JReliability is distributed in the hope that it will be useful, but WITHOUT - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public - * License for more details. + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. * - * You should have received a copy of the GNU Lesser General Public - * License along with Opt4J. If not, see http://www.gnu.org/licenses/. + * You should have received a copy of the GNU Lesser General Public License + * along with Opt4J. If not, see http://www.gnu.org/licenses/. */ package org.jreliability.function.common; diff --git a/src/test/java/org/jreliability/function/common/SerialReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/SerialReliabilityFunctionTest.java index f80a2ee..0d98938 100644 --- a/src/test/java/org/jreliability/function/common/SerialReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/SerialReliabilityFunctionTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * JReliability is free software: you can redistribute it and/or modify it under * the terms of the GNU Lesser General Public License as published by the Free diff --git a/src/test/java/org/jreliability/function/common/SimpleFunctionTransformerTest.java b/src/test/java/org/jreliability/function/common/SimpleFunctionTransformerTest.java index 950a2a4..e00e901 100644 --- a/src/test/java/org/jreliability/function/common/SimpleFunctionTransformerTest.java +++ b/src/test/java/org/jreliability/function/common/SimpleFunctionTransformerTest.java @@ -1,15 +1,18 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import java.util.HashMap; @@ -20,7 +23,8 @@ import org.junit.Test; /** - * The {@link SimpleFunctionTransformerTest} to test the {@link SimpleFunctionTransformer}. + * The {@link SimpleFunctionTransformerTest} to test the + * {@link SimpleFunctionTransformer}. * * @author glass * diff --git a/src/test/java/org/jreliability/function/common/SumReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/SumReliabilityFunctionTest.java index 9886b0b..abaaed9 100644 --- a/src/test/java/org/jreliability/function/common/SumReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/SumReliabilityFunctionTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ /** * JReliability is free software: you can redistribute it and/or modify it under * the terms of the GNU Lesser General Public License as published by the Free diff --git a/src/test/java/org/jreliability/function/common/WeibullReliabilityFunctionTest.java b/src/test/java/org/jreliability/function/common/WeibullReliabilityFunctionTest.java index a6d2127..ae2e27f 100644 --- a/src/test/java/org/jreliability/function/common/WeibullReliabilityFunctionTest.java +++ b/src/test/java/org/jreliability/function/common/WeibullReliabilityFunctionTest.java @@ -1,22 +1,26 @@ -/** - * JReliability is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General - * Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any * later version. - * - * JReliability is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied - * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. - * - * You should have received a copy of the GNU Lesser General Public License along with Opt4J. If not, see - * http://www.gnu.org/licenses/. - */ + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ + package org.jreliability.function.common; import org.junit.Assert; import org.junit.Test; /** - * The {@link WeibullReliabilityFunctionTest} test the {@link WeibullReliabilityFunction}. + * The {@link WeibullReliabilityFunctionTest} test the + * {@link WeibullReliabilityFunction}. * * @author glass * diff --git a/src/test/java/org/jreliability/sl/SLTest.java b/src/test/java/org/jreliability/sl/SLTest.java index 7f9da73..8538f76 100644 --- a/src/test/java/org/jreliability/sl/SLTest.java +++ b/src/test/java/org/jreliability/sl/SLTest.java @@ -1,3 +1,17 @@ +/******************************************************************************* + * JReliability is free software: you can redistribute it and/or modify it under + * the terms of the GNU Lesser General Public License as published by the Free + * Software Foundation, either version 3 of the License, or (at your option) any + * later version. + * + * JReliability is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more + * details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with JReliability. If not, see http://www.gnu.org/licenses/. + *******************************************************************************/ package org.jreliability.sl; import org.apache.commons.collections15.Transformer;