Package 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 Description private class
Order.OrderNode
Represents an object that is ordered.
-
Field Summary
Fields Modifier and Type Field Description private DefaultGraph<Order.OrderNode>
defaultGraph
The directed defaultGraph that represents the orderprivate java.util.Map<T,Order.OrderNode>
nodes
A bijection between objects and nodes in the defaultGraph.
-
Method Summary
Modifier and Type Method Description DefaultGraph<Order.OrderNode>
getDefaultGraph()
java.util.Collection<T>
getElements()
Returns the elements appearing in this order.java.util.Map<T,Order.OrderNode>
getNodes()
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 object2java.lang.String
toString()
-
-
-
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 objectobject2
- 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 classjava.lang.Object
-
getDefaultGraph
public DefaultGraph<Order.OrderNode> getDefaultGraph()
- Returns:
- the directed defaultGraph that represents the order
-
getNodes
public java.util.Map<T,Order.OrderNode> getNodes()
- Returns:
- the bijection between objects and nodes in the defaultGraph
-
-