Package org.tweetyproject.comparator

Class LatticePartialOrder<T extends Formula,R extends BeliefBase>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<R,T>

org.tweetyproject.comparator.GeneralComparator<T,R>

org.tweetyproject.comparator.LatticePartialOrder<T,R>

Type Parameters:

T - some formula

R - some Beliefbase

All Implemented Interfaces:

Comparator<T>, Interpretation<R,T>

public class LatticePartialOrder<T extends Formula,R extends BeliefBase>
extends GeneralComparator<T,R>

This class models comparable element ranking by representing the acceptability of comparable elements in a graph-based structure.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LatticePartialOrder(Collection<T> args)	Creates a new argument ranking with the given comparable elements which are initially all incomparable.

Method Summary

Modifier and Type	Method	Description
boolean	containsIncomparableArguments()	Return true if this ranking contains incomparable arguments, false otherwise
Collection<T>	getArgs()	Return the arguments
Order<T>	getOrder()	Return the order
boolean	isIncomparable(T a, T b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isSame(LatticePartialOrder<T,R> ra)	Return if they are the same
boolean	isStrictlyLessOrEquallyAcceptableThan(T a, T b)	Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.
boolean	satisfies(R beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(T formula)	Checks whether this interpretation satisfies the given formula.
void	setStrictlyLessOrEquallyAcceptableThan(T a, T b)	Defines comparable element "a" to be strictly less or equally acceptable than comparable element "b".
String	toString()

Methods inherited from class org.tweetyproject.comparator.GeneralComparator

compare, getMaximallyAcceptedArguments, getMinimallyAcceptedArguments, isEquallyAcceptableThan, isEquivalent, isStrictlyLessAcceptableThan, isStrictlyMoreAcceptableThan, isStrictlyMoreOrEquallyAcceptableThan

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Comparator

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Details

LatticePartialOrder

public LatticePartialOrder(Collection<T> args)

Creates a new argument ranking with the given comparable elements which are initially all incomparable.

Parameters:

args - a set of arguments

Method Details

getOrder

public Order<T> getOrder()

Return the order

Returns:

the order

getArgs

public Collection<T> getArgs()

Return the arguments

Returns:

the arguments

setStrictlyLessOrEquallyAcceptableThan

public void setStrictlyLessOrEquallyAcceptableThan(T a,
 T b)

Defines comparable element "a" to be strictly less or equally acceptable than comparable element "b".

Parameters:

a - some comparable element

b - some comparable element

isStrictlyLessOrEquallyAcceptableThan

public boolean isStrictlyLessOrEquallyAcceptableThan(T a,
 T b)

Description copied from class: GeneralComparator

Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e. a >= b (or a ~ b)

Specified by:

isStrictlyLessOrEquallyAcceptableThan in class GeneralComparator<T extends Formula,R extends BeliefBase>

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is strictly less acceptable than b or a is equally acceptable as b

isIncomparable

public boolean isIncomparable(T a,
 T b)

Description copied from class: GeneralComparator

Returns "true" iff a and b are incomparable (i.e. this ranking is a partial ranking).

Specified by:

isIncomparable in class GeneralComparator<T extends Formula,R extends BeliefBase>

Parameters:

a - comparable element

b - comparable element

Returns:

"true" iff a and b are incomparable

containsIncomparableArguments

public boolean containsIncomparableArguments()

Description copied from class: GeneralComparator

Return true if this ranking contains incomparable arguments, false otherwise

Specified by:

containsIncomparableArguments in class GeneralComparator<T extends Formula,R extends BeliefBase>

Returns:

true if this ranking contains incomparable arguments, false otherwise

isSame

public boolean isSame(LatticePartialOrder<T,R> ra)

Return if they are the same

Parameters:

ra - some artial order

Returns:

if they are the same

toString

public String toString()

Overrides:

toString in class Object

satisfies

public boolean satisfies(T formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(R beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.