Modifier and Type | Method and Description |
---|---|
RpclProbabilityDistribution |
CondensedProbabilityDistribution.toProbabilityDistribution()
Converts this condensed probability distribution into an ordinary
probability distribution.
|
Modifier and Type | Method and Description |
---|---|
static RpclProbabilityDistribution |
RpclProbabilityDistributionParser.Distribution(RpclSemantics semantics,
FolSignature signature) |
RpclProbabilityDistribution |
RpclProbabilityDistributionParser.parseProbabilityDistribution(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
RpclProbabilityDistribution |
RpclProbabilityDistribution.convexCombination(double d,
RpclProbabilityDistribution other)
Computes the convex combination of this P1 and the
given probability distribution P2 with parameter d, i.e.
|
static RpclProbabilityDistribution |
RpclProbabilityDistribution.getUniformDistribution(RpclSemantics semantics,
FolSignature signature)
Returns the uniform distribution on the given signature.
|
Modifier and Type | Method and Description |
---|---|
RpclProbabilityDistribution |
RpclProbabilityDistribution.convexCombination(double d,
RpclProbabilityDistribution other)
Computes the convex combination of this P1 and the
given probability distribution P2 with parameter d, i.e.
|
Constructor and Description |
---|
DefaultProbabilityDistributionWriter(RpclProbabilityDistribution distribution)
Creates a new writer for the given probability distribution.
|