Package net.sf.tweety.preferences

Interface BinaryRelation<T>

Type Parameters:

T - the generic type of objects/pairs in this binary relation

All Superinterfaces:

Collection<net.sf.tweety.commons.util.Triple<T,T,Relation>>, Iterable<net.sf.tweety.commons.util.Triple<T,T,Relation>>, Set<net.sf.tweety.commons.util.Triple<T,T,Relation>>

All Known Implementing Classes:

PreferenceOrder

public interface BinaryRelation<T>
extends Set<net.sf.tweety.commons.util.Triple<T,T,Relation>>

This abstract class provides a basic implementation of a generic set of pairs to be used for preference ordering.

Author:

Bastian Wolf

Method Summary

Modifier and Type	Method	Description
boolean	add(net.sf.tweety.commons.util.Triple<T,T,Relation> t)	adds a new triple containing two elements and its relation
Set<T>	getDomainElements()	returns a set of the single elements in this binary relation
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 preference order is valid (transitive, total and unique)
String	toString()	returns a String with the elements of this set

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Set

addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Method Detail

add

boolean add(net.sf.tweety.commons.util.Triple<T,T,Relation> t)

adds a new triple containing two elements and its relation

Specified by:

add in interface Collection<T>

Specified by:

add in interface Set<T>

Parameters:

t - the relation between those two elements (LESS or LESS_EQUAL)

Returns:

true if successful, false if not (e.g.: relation already exists)

isRelated

boolean isRelated(T a,
                  T b)

returns whether the elements a and b are related

Parameters:

a - the first element to be checked

b - the second element to be checked

Returns:

true if related, false if not.

getDomainElements

Set<T> getDomainElements()

returns a set of the single elements in this binary relation

Returns:

a set of the single elements in this binary relation

isTotal

boolean isTotal()

checks whether the set is total or not

Returns:

true if total, false otherwise

isTransitive

boolean isTransitive()

checks whether the given set is transitive or not

Returns:

true if transitive, false otherwise

isValid

boolean isValid()

checks whether the preference order is valid (transitive, total and unique)

Returns:

true if valid, false if not

toString

String toString()

returns a String with the elements of this set

Overrides:

toString in class Object

Returns:

a String with the elements of this set