Class ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
- java.lang.Object
-
- net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
-
- All Implemented Interfaces:
java.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>
- Enclosing class:
- ApproximateNaiveMlnReasoner
private class ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation extends java.lang.Object implements java.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>
A Herbrand interpretation with an annotated weight.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description (package private) HerbrandInterpretation
interpretation
(package private) double
weight
-
Constructor Summary
Constructors Modifier Constructor Description private
WeightedHerbrandInterpretation()
-
Method Summary
Modifier and Type Method Description int
compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0)
-
-
-
Field Detail
-
interpretation
HerbrandInterpretation interpretation
-
weight
double weight
-
-
Method Detail
-
compareTo
public int compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0)
- Specified by:
compareTo
in interfacejava.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>
-
-