BinaryRelation

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

All Superinterfaces:: Collection<Triple<T,T,Relation>>, Iterable<Triple<T,T,Relation>>, Set<Triple<T,T,Relation>>

All Known Implementing Classes:: PreferenceOrder

public interface BinaryRelation<T> extends Set<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(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 Details
- add
  
  boolean add(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