Package org.jreliability.tutorial.boiler
Class BoilerTester
- java.lang.Object
-
- org.jreliability.tutorial.boiler.BoilerTester
-
public class BoilerTester extends java.lang.Object
TheBoilerTester
performs some common actions that are done with a modeled system. It uses both, an evaluation based on BDDs as well as using stochastic logic.
-
-
Constructor Summary
Constructors Constructor Description BoilerTester()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
Main.
-