private class ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation extends java.lang.Object implements java.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>
Modifier and Type | Field and Description |
---|---|
(package private) HerbrandInterpretation |
interpretation |
(package private) double |
weight |
Modifier | Constructor and Description |
---|---|
private |
WeightedHerbrandInterpretation() |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0) |
HerbrandInterpretation interpretation
double weight
public int compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0)
compareTo
in interface java.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>