Package org.tweetyproject.comparator

Class GeneralComparator<T extends Formula,R extends BeliefBase>

java.lang.Object

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

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

Type Parameters:

T - The type of formulas that are compared.

R - The type of the belief base that the interpretation operates on.

All Implemented Interfaces:

Comparator<T>, Interpretation<R,T>

Direct Known Subclasses:

LastLinkOrder, LatticePartialOrder, NumericalPartialOrder, RuleComparator, SimpleAspicOrder, WeakestLinkOrder

public abstract class GeneralComparator<T extends Formula,R extends BeliefBase>
extends AbstractInterpretation<R,T>
implements Comparator<T>

This abstract class is the common ancestor for semantical approaches to ranking, i.e. relations that allow a more fine-grained comparison by e.g. utilizing numerical values for arguments.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
GeneralComparator()	Default COnstructor

Method Summary

Modifier and Type	Method	Description
int	compare(T arg0, T arg1)
abstract boolean	containsIncomparableArguments()	Return true if this ranking contains incomparable arguments, false otherwise
Collection<T>	getMaximallyAcceptedArguments(Collection<T> args)	Returns the set of all comparable elements a from the given set that are maximally accepted, i.e.
Collection<T>	getMinimallyAcceptedArguments(Collection<T> args)	Returns the set of all comparable elements a from the given set that are minimally accepted, i.e.
boolean	isEquallyAcceptableThan(T a, T b)	Returns "true" iff a is equally acceptable as b, i.e.
boolean	isEquivalent(GeneralComparator<T,R> other, Collection<T> args)	Checks whether this ranking is equivalent to the other one wrt.
abstract boolean	isIncomparable(T a, T b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isStrictlyLessAcceptableThan(T a, T b)	Returns "true" iff a is strictly less acceptable than b, i.e.
abstract 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	isStrictlyMoreAcceptableThan(T a, T b)	Returns "true" iff a is strictly more acceptable than b, i.e.
boolean	isStrictlyMoreOrEquallyAcceptableThan(T a, T b)	Returns "true" iff a is strictly more acceptable than b or a is equally acceptable as b, i.e.

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

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

Methods inherited from interface org.tweetyproject.commons.Interpretation

satisfies, satisfies

Constructor Details

GeneralComparator

public GeneralComparator()

Default COnstructor

Method Details

compare

public int compare(T arg0,
 T arg1)

Specified by:

compare in interface Comparator<T extends Formula>

isStrictlyMoreAcceptableThan

public boolean isStrictlyMoreAcceptableThan(T a,
 T b)

Returns "true" iff a is strictly more acceptable than b, i.e. a < b

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is strictly more acceptable than b

isStrictlyLessAcceptableThan

public boolean isStrictlyLessAcceptableThan(T a,
 T b)

Returns "true" iff a is strictly less acceptable than b, i.e. a > b

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is strictly less acceptable than b

isStrictlyMoreOrEquallyAcceptableThan

public boolean isStrictlyMoreOrEquallyAcceptableThan(T a,
 T b)

Returns "true" iff a is strictly more acceptable than b or a is equally acceptable as b, i.e. a <= b (or a ~ b)

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is strictly more acceptable than b or a is equally acceptable as b, "false" otherwise or if a and b are incomparable

isEquallyAcceptableThan

public boolean isEquallyAcceptableThan(T a,
 T b)

Returns "true" iff a is equally acceptable as b, i.e. a = b (or a ~ b)

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is equally acceptable as b, "false" otherwise or if a and b are incomparable

getMaximallyAcceptedArguments

public Collection<T> getMaximallyAcceptedArguments(Collection<T> args)

Returns the set of all comparable elements a from the given set that are maximally accepted, i.e. where there is no other comparable element that is strictly more acceptable.

Parameters:

args - a set of comparable element

Returns:

the set of all comparable element a that are maximally accepted

getMinimallyAcceptedArguments

public Collection<T> getMinimallyAcceptedArguments(Collection<T> args)

Returns the set of all comparable elements a from the given set that are minimally accepted, i.e. where there is no other comparable element that is strictly less acceptable.

Parameters:

args - a set of comparable elements

Returns:

the set of all comparable elements a that are minimally accepted

isEquivalent

public boolean isEquivalent(GeneralComparator<T,R> other,
 Collection<T> args)

Checks whether this ranking is equivalent to the other one wrt. the given set of comparable elements.

Parameters:

other - some ranking

args - some comparable elements

Returns:

"true" if both rankings are equivalent.

isStrictlyLessOrEquallyAcceptableThan

public abstract 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. a >= b (or a ~ b)

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 abstract boolean isIncomparable(T a,
 T b)

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

Parameters:

a - comparable element

b - comparable element

Returns:

"true" iff a and b are incomparable

containsIncomparableArguments

public abstract boolean containsIncomparableArguments()

Return true if this ranking contains incomparable arguments, false otherwise

Returns:

true if this ranking contains incomparable arguments, false otherwise