org.jbpt.petri.unfolding

Interface IOrderingRelationsDescriptor<BPN extends IBPNode<N>,N extends INode>

All Known Subinterfaces:

IBranchingProcess<BPN,C,E,F,N,P,T,M>, ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>, IProcess<BPN,C,E,F,N,P,T,M>

All Known Implementing Classes:

AbstractBranchingProcess, AbstractCompletePrefixUnfolding, AbstractOrderingRelationsGraph, AbstractProcess, AbstractProperCompletePrefixUnfolding, BranchingProcess, CompletePrefixUnfolding, OrderingRelationsGraph, Process, ProperCompletePrefixUnfolding, SoundUnfolding, SoundUnfoldingMSMS

public interface IOrderingRelationsDescriptor<BPN extends IBPNode<N>,N extends INode>

Method Summary

Methods

Modifier and Type	Method and Description
boolean	areCausal(BPN n1, BPN n2) Check if two nodes of this branching process are in the causal relation.
boolean	areConcurrent(BPN n1, BPN n2) Check if two nodes of this branching process are concurrent.
boolean	areInConflict(BPN n1, BPN n2) Check if two nodes of this branching process are in conflict.
boolean	areInverseCausal(BPN n1, BPN n2) Check if two nodes of this branching process are in the inverse causal relation.
OrderingRelationType	getOrderingRelation(BPN n1, BPN n2) Get ordering relation between two nodes of this branching process.

Method Detail

getOrderingRelation

OrderingRelationType getOrderingRelation(BPN n1,
                                       BPN n2)

Get ordering relation between two nodes of this branching process.

Parameters:

n1 - Node of this branching process.

n2 - Node of this branching process.

Returns:

Ordering relation between 'n1' and 'n2', see OrderingRelationType.

areCausal

boolean areCausal(BPN n1,
                BPN n2)

Check if two nodes of this branching process are in the causal relation.

Parameters:

n1 - Node of this branching process.

n2 - Node of this branching process.

Returns:

true if 'n1' and 'n2' are in the causal relation; otherwise false.

areInverseCausal

boolean areInverseCausal(BPN n1,
                       BPN n2)

Check if two nodes of this branching process are in the inverse causal relation.

Parameters:

n1 - Node of this branching process.

n2 - Node of this branching process.

Returns:

true if 'n1' and 'n2' are in the inverse causal relation; otherwise false.

areConcurrent

boolean areConcurrent(BPN n1,
                    BPN n2)

Check if two nodes of this branching process are concurrent.

Parameters:

n1 - Node of this branching process.

n2 - Node of this branching process.

Returns:

true if 'n1' and 'n2' are concurrent; otherwise false.

areInConflict

boolean areInConflict(BPN n1,
                    BPN n2)

Check if two nodes of this branching process are in conflict.

Parameters:

n1 - Node of this branching process.

n2 - Node of this branching process.

Returns:

true if 'n1' and 'n2' are in conflict; otherwise false.