net.sf.tweety.graphs.orders

Class Order<T>

java.lang.Object

net.sf.tweety.graphs.orders.Order<T>

Type Parameters:

T - The class that is being ordered.

public class Order<T>
extends Object

This class represents an order among some objects.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
Order(Collection<T> objects) Creates a new order for the given set of objects.

Method Summary

Modifier and Type	Method and Description
boolean	isOrderedBefore(T object1, T object2) Checks whether object1 is ordered before object2.
void	setOrderedBefore(T object1, T object2) Adds that object1 is ordered before object2

Methods inherited from class java.lang.Object

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

Constructor Detail

Order

public Order(Collection<T> objects)

Creates a new order for the given set of objects.

Parameters:

objects - some set of objects.

Method Detail

setOrderedBefore

public void setOrderedBefore(T object1,
                             T object2)

Adds that object1 is ordered before object2

Parameters:

object1 - some object

object2 - some object

isOrderedBefore

public boolean isOrderedBefore(T object1,
                               T object2)

Checks whether object1 is ordered before object2.

Parameters:

object1 - some object.

object2 - some object.

Returns:

"true" if object1 is ordered before object2.