Package net.sf.tweety.logics.bpm.syntax

Class BpmnModel

java.lang.Object

net.sf.tweety.logics.bpm.syntax.BpmnModel

All Implemented Interfaces:

Iterable<BpmnNode>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.graphs.Graph<BpmnNode>

public class BpmnModel
extends Object
implements net.sf.tweety.graphs.Graph<BpmnNode>, net.sf.tweety.commons.BeliefBase

Field Summary

Fields inherited from interface net.sf.tweety.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
BpmnModel()

Method Summary

Modifier and Type	Method	Description
boolean	add(net.sf.tweety.graphs.Edge<BpmnNode> edge)
boolean	add(BpmnNode node)
boolean	areAdjacent(BpmnNode a, BpmnNode b)
boolean	contains(Object obj)
boolean	existsDirectedPath(BpmnNode node1, BpmnNode node2)
net.sf.tweety.math.matrix.Matrix	getAdjacencyMatrix()
Collection<BpmnNode>	getChildren(net.sf.tweety.graphs.Node node)
net.sf.tweety.graphs.Graph<BpmnNode>	getComplementGraph(int selfloops)
net.sf.tweety.graphs.Edge<BpmnNode>	getEdge(BpmnNode a, BpmnNode b)
Collection<? extends net.sf.tweety.graphs.Edge<? extends BpmnNode>>	getEdges()
net.sf.tweety.commons.Signature	getMinimalSignature()
Collection<BpmnNode>	getNeighbors(BpmnNode node)
Collection<BpmnNode>	getNodes()
int	getNumberOfNodes()
Collection<BpmnNode>	getParents(net.sf.tweety.graphs.Node node)
net.sf.tweety.graphs.Graph<BpmnNode>	getRestriction(Collection<BpmnNode> nodes)
Collection<Collection<BpmnNode>>	getStronglyConnectedComponents()
Collection<net.sf.tweety.graphs.Graph<BpmnNode>>	getSubgraphs()
boolean	hasSelfLoops()
boolean	isWeightedGraph()
Iterator<BpmnNode>	iterator()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.commons.BeliefBase

toString

Methods inherited from interface net.sf.tweety.graphs.Graph

toString

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BpmnModel

public BpmnModel()

Method Detail

getMinimalSignature

public net.sf.tweety.commons.Signature getMinimalSignature()

Specified by:

getMinimalSignature in interface net.sf.tweety.commons.BeliefBase

add

public boolean add(BpmnNode node)

Specified by:

add in interface net.sf.tweety.graphs.Graph<BpmnNode>

add

public boolean add(net.sf.tweety.graphs.Edge<BpmnNode> edge)

Specified by:

add in interface net.sf.tweety.graphs.Graph<BpmnNode>

getNodes

public Collection<BpmnNode> getNodes()

Specified by:

getNodes in interface net.sf.tweety.graphs.Graph<BpmnNode>

getNumberOfNodes

public int getNumberOfNodes()

Specified by:

getNumberOfNodes in interface net.sf.tweety.graphs.Graph<BpmnNode>

areAdjacent

public boolean areAdjacent(BpmnNode a,
                           BpmnNode b)

Specified by:

areAdjacent in interface net.sf.tweety.graphs.Graph<BpmnNode>

getEdge

public net.sf.tweety.graphs.Edge<BpmnNode> getEdge(BpmnNode a,
                                                   BpmnNode b)

Specified by:

getEdge in interface net.sf.tweety.graphs.Graph<BpmnNode>

getEdges

public Collection<? extends net.sf.tweety.graphs.Edge<? extends BpmnNode>> getEdges()

Specified by:

getEdges in interface net.sf.tweety.graphs.Graph<BpmnNode>

iterator

public Iterator<BpmnNode> iterator()

Specified by:

iterator in interface net.sf.tweety.graphs.Graph<BpmnNode>

Specified by:

iterator in interface Iterable<BpmnNode>

contains

public boolean contains(Object obj)

Specified by:

contains in interface net.sf.tweety.graphs.Graph<BpmnNode>

getChildren

public Collection<BpmnNode> getChildren(net.sf.tweety.graphs.Node node)

Specified by:

getChildren in interface net.sf.tweety.graphs.Graph<BpmnNode>

getParents

public Collection<BpmnNode> getParents(net.sf.tweety.graphs.Node node)

Specified by:

getParents in interface net.sf.tweety.graphs.Graph<BpmnNode>

existsDirectedPath

public boolean existsDirectedPath(BpmnNode node1,
                                  BpmnNode node2)

Specified by:

existsDirectedPath in interface net.sf.tweety.graphs.Graph<BpmnNode>

getNeighbors

public Collection<BpmnNode> getNeighbors(BpmnNode node)

Specified by:

getNeighbors in interface net.sf.tweety.graphs.Graph<BpmnNode>

getAdjacencyMatrix

public net.sf.tweety.math.matrix.Matrix getAdjacencyMatrix()

Specified by:

getAdjacencyMatrix in interface net.sf.tweety.graphs.Graph<BpmnNode>

getComplementGraph

public net.sf.tweety.graphs.Graph<BpmnNode> getComplementGraph(int selfloops)

Specified by:

getComplementGraph in interface net.sf.tweety.graphs.Graph<BpmnNode>

getStronglyConnectedComponents

public Collection<Collection<BpmnNode>> getStronglyConnectedComponents()

Specified by:

getStronglyConnectedComponents in interface net.sf.tweety.graphs.Graph<BpmnNode>

getSubgraphs

public Collection<net.sf.tweety.graphs.Graph<BpmnNode>> getSubgraphs()

Specified by:

getSubgraphs in interface net.sf.tweety.graphs.Graph<BpmnNode>

getRestriction

public net.sf.tweety.graphs.Graph<BpmnNode> getRestriction(Collection<BpmnNode> nodes)

Specified by:

getRestriction in interface net.sf.tweety.graphs.Graph<BpmnNode>

hasSelfLoops

public boolean hasSelfLoops()

Specified by:

hasSelfLoops in interface net.sf.tweety.graphs.Graph<BpmnNode>

isWeightedGraph

public boolean isWeightedGraph()

Specified by:

isWeightedGraph in interface net.sf.tweety.graphs.Graph<BpmnNode>