net.sf.tweety.logics.pl.analysis

Class PossibleWorldDistance

java.lang.Object

net.sf.tweety.logics.pl.analysis.PossibleWorldDistance

All Implemented Interfaces:

net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>

Direct Known Subclasses:

DalalDistance

public abstract class PossibleWorldDistance
extends Object
implements net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>

This class refines interpretation distances to distance on possible worlds. It add some functionalities to measure distance of formulas to possible worlds.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
PossibleWorldDistance()

Method Summary

Modifier and Type	Method and Description
abstract double	distance(PossibleWorld a, PossibleWorld b)
double	distance(PropositionalFormula f, PossibleWorld b)

Methods inherited from class java.lang.Object

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

Constructor Detail

PossibleWorldDistance

public PossibleWorldDistance()

Method Detail

distance

public abstract double distance(PossibleWorld a,
                                PossibleWorld b)

Specified by:

distance in interface net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>

distance

public double distance(PropositionalFormula f,
                       PossibleWorld b)

Specified by:

distance in interface net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>