| Modifier and Type | Method and Description | 
|---|---|
static CondensedProbabilityDistribution | 
CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics,
                     FolSignature signature,
                     java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns a random distribution on the given signature. 
 | 
static CondensedProbabilityDistribution | 
CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics,
                      FolSignature signature,
                      java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns the uniform distribution on the given signature. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static CondensedProbabilityDistribution | 
RpclCondensedProbabilityDistributionParser.Distribution(RpclSemantics semantics,
            FolSignature signature)  | 
CondensedProbabilityDistribution | 
RpclCondensedProbabilityDistributionParser.parseCondensedProbabilityDistribution(java.io.Reader reader)  | 
| Constructor and Description | 
|---|
DefaultCondensedProbabilityDistributionWriter(CondensedProbabilityDistribution distribution)
Creates a new writer for the given condensed probability distribution. 
 |