net.sf.tweety.preferences

Class PreferenceOrder<T>

java.lang.Object

net.sf.tweety.preferences.PreferenceOrder<T>

Type Parameters:

T - the generic type of objects/pairs in this preference order

All Implemented Interfaces:

java.lang.Iterable<Triple<T,T,Relation>>, java.util.Collection<Triple<T,T,Relation>>, java.util.Set<Triple<T,T,Relation>>, BinaryRelation<T>

public class PreferenceOrder<T>
extends java.lang.Object
implements BinaryRelation<T>

This class extends the BinaryRelation-class with a check for totality and transitivity

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Triple<T,T,Relation>>	relations a given set of Triples

Constructor Summary

Constructors

Constructor and Description
PreferenceOrder() Creates an empty HashSet of preference order.
PreferenceOrder(java.util.Collection<? extends Triple<T,T,Relation>> relations) generates a preference order with a given set of elements

Method Summary

Modifier and Type	Method and Description
boolean	add(Triple<T,T,Relation> t) adds a given pair of generic elements to the set.
boolean	addAll(java.util.Collection<? extends Triple<T,T,Relation>> c) adds all given elements to the preference order
boolean	addPair(T f, T s, Relation relation) adds two given (single) elements as pair into the set
void	clear() clears the current preference order element set
boolean	compareEqualityWith(PreferenceOrder<T> po) compares this preference order to another given one whether each relation is contained in both
boolean	contains(java.lang.Object o) checks whether this preference order contains a given pair
boolean	containsAll(java.util.Collection<?> c) checks, whether all of the given elements are contained in the preference order
boolean	containsRelation(T a, T b) checks whether this preference order contains a pair of given elements
boolean	containsTriple(T firstElement, T secondElement, Relation relation)
boolean	equals(java.lang.Object obj)
Triple<T,T,Relation>	get(Triple<T,T,Relation> e) checks existence and returns a demanded pair
java.util.Set<T>	getDomainElements() (re-)computes a set of single elements in this preference order
LevelingFunction<T>	getLevelingFunction() returns the ranking function for this preference order
Triple<T,T,Relation>	getTriple(T a, T b) returns a pair if it consists of of two given elements
boolean	isEmpty() returns whether the set is empty or not
boolean	isRelated(T a, T b) returns whether the elements a and b are related
boolean	isTotal() checks whether the set is total or not
boolean	isTransitive() checks whether the given set is transitive or not
boolean	isValid() checks whether the given set represents a valid preference order
java.util.Iterator<Triple<T,T,Relation>>	iterator() an Iterator over all relations in this po
java.util.Iterator<Triple<T,T,Relation>>	iterator(java.util.Set<Triple<T,T,Relation>> s) returns an iterator over a set of pairs
boolean	remove(java.lang.Object o) removes specific pair of the set
boolean	removeAll(java.util.Collection<?> c) removes all given elements from the preference order
boolean	retainAll(java.util.Collection<?> c)
int	size() returns the size of the set
void	strengthenElementInLF(T element) strengthens the given element in this preference order in its leveling function
void	strengthenElementInRF(T element) strengthens the given element in this preference order in its ranking function
java.lang.Object[]	toArray() returns an array containing all objects
<T> T[]	toArray(T[] a) returns all elements in an array
java.lang.String	toString() returns a String with the elements of this set
void	weakenElementInLF(T element) weakens the given element in this preference order in its leveling function
void	weakenElementInRF(T element) weakens the given element in this preference order in its ranking function

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Set

hashCode, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

relations

private java.util.Set<Triple<T,T,Relation>> relations

a given set of Triples

Constructor Detail

PreferenceOrder

public PreferenceOrder()

Creates an empty HashSet of preference order.

PreferenceOrder

public PreferenceOrder(java.util.Collection<? extends Triple<T,T,Relation>> relations)

generates a preference order with a given set of elements

Parameters:

relations - the set of given element pairs

Method Detail

getLevelingFunction

public LevelingFunction<T> getLevelingFunction()

returns the ranking function for this preference order

Returns:

the ranking function for this preference order

add

public boolean add(Triple<T,T,Relation> t)

adds a given pair of generic elements to the set.

Specified by:

add in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

add in interface java.util.Set<Triple<T,T,Relation>>

Specified by:

add in interface BinaryRelation<T>

Parameters:

t - the given set

Returns:

true if successful, false if not

addPair

public boolean addPair(T f,
                       T s,
                       Relation relation)

adds two given (single) elements as pair into the set

Parameters:

f - first element of the new pair

s - second element of the new pair

Returns:

true if successful, false if not

getDomainElements

public java.util.Set<T> getDomainElements()

(re-)computes a set of single elements in this preference order

Specified by:

getDomainElements in interface BinaryRelation<T>

remove

public boolean remove(java.lang.Object o)

removes specific pair of the set

Specified by:

remove in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

remove in interface java.util.Set<Triple<T,T,Relation>>

Parameters:

o - the pair to be removed

Returns:

true if successful, false if not

isEmpty

public boolean isEmpty()

returns whether the set is empty or not

Specified by:

isEmpty in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

isEmpty in interface java.util.Set<Triple<T,T,Relation>>

Returns:

true if empty, false if not

isRelated

public boolean isRelated(T a,
                         T b)

returns whether the elements a and b are related

Specified by:

isRelated in interface BinaryRelation<T>

Parameters:

a - the first element to be checked

b - the second element to be checked

Returns:

true if related, false if not.

iterator

public java.util.Iterator<Triple<T,T,Relation>> iterator(java.util.Set<Triple<T,T,Relation>> s)

returns an iterator over a set of pairs

Returns:

an iterator over a set of pairs

get

public Triple<T,T,Relation> get(Triple<T,T,Relation> e)

checks existence and returns a demanded pair

Parameters:

e - the demanded pair

Returns:

a pair if it exists, null otherwise

getTriple

public Triple<T,T,Relation> getTriple(T a,
                                      T b)

returns a pair if it consists of of two given elements

Parameters:

a - the first element

b - the second element

Returns:

a pair if found, null if not

containsRelation

public boolean containsRelation(T a,
                                T b)

checks whether this preference order contains a pair of given elements

Parameters:

a - the first element

b - the second element

Returns:

true if pair is in this preference order, false if not

contains

public boolean contains(java.lang.Object o)

checks whether this preference order contains a given pair

Specified by:

contains in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

contains in interface java.util.Set<Triple<T,T,Relation>>

Parameters:

o - the given pair

Returns:

true if pair is in this preference order, false if not

containsTriple

public boolean containsTriple(T firstElement,
                              T secondElement,
                              Relation relation)

Parameters:

firstElement -

secondElement -

relation -

size

public int size()

returns the size of the set

Specified by:

size in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

size in interface java.util.Set<Triple<T,T,Relation>>

Returns:

the size of the set

toString

public java.lang.String toString()

returns a String with the elements of this set

Specified by:

toString in interface BinaryRelation<T>

Overrides:

toString in class java.lang.Object

Returns:

a String with the elements of this set

toArray

public java.lang.Object[] toArray()

returns an array containing all objects

Specified by:

toArray in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

toArray in interface java.util.Set<Triple<T,T,Relation>>

Returns:

the Object[]-array

toArray

public <T> T[] toArray(T[] a)

returns all elements in an array

Specified by:

toArray in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

toArray in interface java.util.Set<Triple<T,T,Relation>>

Parameters:

a - is a given array

Returns:

an array

isTotal

public boolean isTotal()

checks whether the set is total or not

Specified by:

isTotal in interface BinaryRelation<T>

Returns:

true if total, false otherwise

isTransitive

public boolean isTransitive()

checks whether the given set is transitive or not

Specified by:

isTransitive in interface BinaryRelation<T>

Returns:

true if transitive, false otherwise

isValid

public boolean isValid()

checks whether the given set represents a valid preference order

Specified by:

isValid in interface BinaryRelation<T>

Returns:

true if valid, false if not

clear

public void clear()

clears the current preference order element set

Specified by:

clear in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

clear in interface java.util.Set<Triple<T,T,Relation>>

containsAll

public boolean containsAll(java.util.Collection<?> c)

checks, whether all of the given elements are contained in the preference order

Specified by:

containsAll in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

containsAll in interface java.util.Set<Triple<T,T,Relation>>

Returns:

true iff all elements are contained, false otherwise

removeAll

public boolean removeAll(java.util.Collection<?> c)

removes all given elements from the preference order

Specified by:

removeAll in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

removeAll in interface java.util.Set<Triple<T,T,Relation>>

Returns:

true if elements-set has changed, false if not

retainAll

public boolean retainAll(java.util.Collection<?> c)

Specified by:

retainAll in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

retainAll in interface java.util.Set<Triple<T,T,Relation>>

addAll

public boolean addAll(java.util.Collection<? extends Triple<T,T,Relation>> c)

adds all given elements to the preference order

Specified by:

addAll in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

addAll in interface java.util.Set<Triple<T,T,Relation>>

Returns:

true if element-set changed, false if not

iterator

public java.util.Iterator<Triple<T,T,Relation>> iterator()

an Iterator over all relations in this po

Specified by:

iterator in interface java.lang.Iterable<Triple<T,T,Relation>>

Specified by:

iterator in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

iterator in interface java.util.Set<Triple<T,T,Relation>>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<Triple<T,T,Relation>>

Specified by:

equals in interface java.util.Set<Triple<T,T,Relation>>

Overrides:

equals in class java.lang.Object

Parameters:

obj -

compareEqualityWith

public boolean compareEqualityWith(PreferenceOrder<T> po)

compares this preference order to another given one whether each relation is contained in both

Parameters:

po - the preference order to compare with

Returns:

true if both are equal, false if not

weakenElementInLF

public void weakenElementInLF(T element)

weakens the given element in this preference order in its leveling function

Parameters:

element - the element to be weaken

strengthenElementInLF

public void strengthenElementInLF(T element)

strengthens the given element in this preference order in its leveling function

Parameters:

element - the element to be strengthen

weakenElementInRF

public void weakenElementInRF(T element)

weakens the given element in this preference order in its ranking function

Parameters:

element - the element to be weaken

strengthenElementInRF

public void strengthenElementInRF(T element)

strengthens the given element in this preference order in its ranking function

Parameters:

element - the element to be strengthen