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 java.lang.Object

This class represents an order among some objects.

Author:

Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	Order.OrderNode Represents an object that is ordered.

Field Summary

Fields

Modifier and Type	Field and Description
private DefaultGraph<Order.OrderNode>	defaultGraph The directed defaultGraph that represents the order
private java.util.Map<T,Order.OrderNode>	nodes A bijection between objects and nodes in the defaultGraph.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.Collection<T>	getElements() Returns the elements appearing in this order.
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
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

defaultGraph

private DefaultGraph<Order.OrderNode> defaultGraph

The directed defaultGraph that represents the order

nodes

private java.util.Map<T,Order.OrderNode> nodes

A bijection between objects and nodes in the defaultGraph.

Constructor Detail

Order

public Order(java.util.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.

getElements

public java.util.Collection<T> getElements()

Returns the elements appearing in this order.

Returns:

the elements appearing in this order.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object