net.sf.tweety.logics.mln.reasoner

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 and Description
(package private) HerbrandInterpretation	interpretation
(package private) double	weight

Constructor Summary

Constructors

Modifier	Constructor and Description
private	WeightedHerbrandInterpretation()

Method Summary

Modifier and Type	Method and Description
int	compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

interpretation

HerbrandInterpretation interpretation

weight

double weight

Constructor Detail

WeightedHerbrandInterpretation

private WeightedHerbrandInterpretation()

Method Detail

compareTo

public int compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation arg0)

Specified by:

compareTo in interface java.lang.Comparable<ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation>