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