org.jbpt.petri.unfolding

Class OrderingRelationsGraph

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.AbstractGraphNotifier<E,V>

org.jbpt.hypergraph.abs.AbstractMultiHyperGraph<E,V>

org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph<E,V>

org.jbpt.graph.abs.AbstractMultiDirectedGraph<E,V>

org.jbpt.graph.abs.AbstractDirectedGraph<IDirectedEdge<E>,E>

org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.unfolding.OrderingRelationsGraph

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IDirectedGraph<IDirectedEdge<Event>,Event>, IGraph<IDirectedEdge<Event>,Event>, IDirectedHyperGraph<IDirectedEdge<Event>,Event>, IEntity, IEntityModel<Event>, IGObject, IHyperGraph<IDirectedEdge<Event>,Event>, IOrderingRelationsDescriptor<Event,Node>, IOrderingRelationsGraph<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

public class OrderingRelationsGraph
extends AbstractOrderingRelationsGraph<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Implementation of the ordering relations graph (ORGRAPH).

Author:

Artem Polyvyanyy

Field Summary

Fields inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

edges, vertices

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OrderingRelationsGraph()
	OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)

Method Summary

Methods inherited from class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph

areCausal, areConcurrent, areInConflict, areInverseCausal, getEvents, getOrderingRelation

Methods inherited from class org.jbpt.graph.abs.AbstractDirectedGraph

addEdge, isMultiGraph

Methods inherited from class org.jbpt.graph.abs.AbstractMultiDirectedGraph

addEdge, areAdjacent, getDirectedEdge, getEdge, getEdges, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTargets, removeVertex, removeVertices, toDOT

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph

addEdge, addEdge, checkEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiHyperGraph

addVertex, addVertices, areAdjacent, checkEdge, contains, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getEntities, getFreshVertex, getVertices, removeEdge, removeEdges, toString

Methods inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

addIndex, addIndex, clearMembers, removeIndex, removeIndex

Methods inherited from class org.jbpt.hypergraph.abs.GObject

clone, compareTo, equals, getDescription, getId, getLabel, getName, getTag, hashCode, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jbpt.hypergraph.abs.IDirectedHyperGraph

getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IHyperGraph

addEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, removeEdge, removeEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IEntityModel

getEntities

Constructor Detail

OrderingRelationsGraph

protected OrderingRelationsGraph()

OrderingRelationsGraph

public OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)