| 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. 
 |