Rev Language Reference


Probability

This Rev function converts between Rev types from Real to Probability.

Usage

Probability(Real x)

Arguments

x : Real (pass by const reference)
The value.

Return Type

Example

# Create a RealPos
x <- 12/13
type(x)

# Convert the RealPos to Probability
y := Probability(x)
type(y)