<local-check-configname="Eclipse ESCET Checkstyle"location="/org.eclipse.escet.configuration/checkstyle.xml"type="project"description="Eclipse ESCET Checkstyle. Copyright (c) 2010, 2021 Contributors to the Eclipse Foundation See the NOTICE file(s) distributed with this work for additional information regarding copyright ownership. This program and the accompanying materials are made available under the terms of the MIT License which is available at https://opensource.org/licenses/MIT SPDX-License-Identifier: MIT">
@@ -33,4 +34,4 @@ For purposes of the MIT License, "Software" will mean the Content.
If you did not receive this Content directly from the Eclipse Foundation, the Content is being redistributed by another party ("Redistributor") and different terms and conditions may apply to your use of any object code in the Content.
Check the Redistributor's license that was provided with the Content.
If no such license exists, contact the Redistributor.
Unless otherwise indicated below, the terms and conditions of the MIT License still apply to any source code in the Content and such source code may be obtained at link:http://www.eclipse.org[].
Unless otherwise indicated below, the terms and conditions of the MIT License still apply to any source code in the Content and such source code may be obtained at link:https://www.eclipse.org[].
See also:: U(a,b), <<law-ref>>, page 282, except that distribution has an inclusive upper bound.
See also:: U(a,b), <<ref-law>>, page 282, except that distribution has an inclusive upper bound.
* `dist` `real` *weibull*`(real a, b)`
+
...
...
@@ -266,11 +263,11 @@ Range:: `[0, infinite)`
Mean:: `(b / a) * G(1 / a)`
Variance:: `+(b^2 / a) * (2 * G(2 / a) - (1 / a) * G(1 / a)^2)+` with `G(x)` the Gamma function,
`G(x)` `=` integral over `t` from `0` to `infinity`, for `+t^(x - 1) * exp(-t)+`
See also:: Weibull(a, b), <<law-ref>>, page 284
See also:: Weibull(a, b), <<ref-law>>, page 284
[bibliography]
=== References
* [[[banks-ref]]] Handbook of Simulation, Principles, Methodology, Advances, Applications, and Practice, editor Jerry Banks, publisher John Wiley & Sons, inc, 1998
* [[[ref-banks,Banks]]] Jerry Banks, "Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice", John Wiley & Sons, Inc., 1998, doi:link:https://doi.org/10.1002/9780470172445[10.1002/9780470172445]
* [[[law-ref]]] Simulation Modeling & Analysis, fourth edition, by Averill M. Law, publisher McGraw-Hill, International Edition, 2007, ISBN 978-007-125519-6
* [[[ref-law,Law]]] Averill M. Law, "Simulation Modeling and Analysis", fourth edition, McGraw-Hill, 2007
@@ -642,7 +642,6 @@ size("a") # results in 1, string is 1 character long (namely 'a').
size("\n") # results in 1, string contains one NL character.
----
indexterm:[list,expression]
indexterm:[expression,list]
...
...
@@ -841,7 +840,6 @@ Some examples of the element test operation:
There are also standard library functions for lists, see <<ref-list-stdlib>> for details.
indexterm:[set,expression]
indexterm:[expression,set]
...
...
@@ -960,7 +958,6 @@ A few examples:
{1, 3, 7} sub {1, 3, 7} == true # All sets are a sub-set of themselves.
----
There are also standard library functions for sets, see <<ref-set-stdlib>> for details.
indexterm:[dictionary,expression]
...
...
@@ -1174,7 +1171,6 @@ a, b = b, a; # Swap values of 'a' and 'b'.
The latter works due to the intermediate tuple that is created as part in the assignment.
indexterm:[file,expression]
indexterm:[expression,file]
...
...
@@ -1232,7 +1228,6 @@ Types `T`, `K`, and `V` must also be readable types of data (that is, get chosen
Reading a value takes a text (with the same syntax as Chi literal values of the same type), and converts it into a value that can be manipulated in the Chi model.
Values read from the text have to be constant, for example the input `time` cannot be interpreted as real number with the same value as the current simulation time.
indexterm:[timer,expression]
indexterm:[expression,timer]
...
...
@@ -1297,7 +1292,6 @@ The only binary expressions on channels are equality comparison operations.
where `T` can be either a normal type, or `void`.
There has to be an overlap between the channel directions (that is, you cannot compare a receive-only channel with a send-only channel).
indexterm:[distribution,expression]
indexterm:[expression,distribution]
...
...
@@ -1350,7 +1344,6 @@ model Dice():
end
----
indexterm:[process,expression]
indexterm:[expression,process]
...
...
@@ -1385,7 +1378,6 @@ Formal parameter `ab` of process `P` is a process variable that refers to a proc
The given process definition is instantiated.
Since in the model definition, `A` is given to process `P`, the output of the above model is `A(3)`.
indexterm:[instance,expression]
indexterm:[expression,instance]
...
...
@@ -1426,7 +1418,6 @@ In the example, the test result is written to the screen, but this could also be
The other thing that you can do is to wait for termination of the process by means of the `finish` statement, see also <<ref-finish-statement>>.
[[ref-matrix-expression]]
=== Matrix expression
...
...
@@ -1567,7 +1558,6 @@ Their type has to match with the type stated in the formal parameter at the corr
The result of the function call is a value with the same type as stated in the return type of the function definition.
