org.processmining.ltl2automaton.plugins

Class SinglePropertyGraph

java.lang.Object

org.processmining.ltl2automaton.plugins.SinglePropertyGraph

public class SinglePropertyGraph
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SinglePropertyGraph(Formula frm, AutomatonFactory factory)

Method Summary

Modifier and Type	Method and Description
void	add(org.processmining.ltl2automaton.plugins.Node node)
void	collapse()
org.processmining.ltl2automaton.plugins.Node	create()
org.processmining.ltl2automaton.plugins.Node	create(org.processmining.ltl2automaton.plugins.Node node)
void	createAutomaton()
org.processmining.ltl2automaton.plugins.Node	createInitial()
protected org.processmining.ltl2automaton.plugins.Node	createNode(int id)
protected org.processmining.ltl2automaton.plugins.Node	createNode(int id, org.processmining.ltl2automaton.plugins.Node node)
org.processmining.ltl2automaton.plugins.Node	exists(org.processmining.ltl2automaton.plugins.Node node)
int	generateNextId()
int	getExpandCount()
Formula	getFormula()
int	getSize()
int	index_equivalence(org.processmining.ltl2automaton.plugins.Node node, org.processmining.ltl2automaton.plugins.Node[] equivalence)
boolean	isCollapsed()
void	newExpand()

Methods inherited from class java.lang.Object

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

Constructor Detail

SinglePropertyGraph

public SinglePropertyGraph(Formula frm,
                           AutomatonFactory factory)

Method Detail

createNode

protected org.processmining.ltl2automaton.plugins.Node createNode(int id)

createNode

protected org.processmining.ltl2automaton.plugins.Node createNode(int id,
                                                                  org.processmining.ltl2automaton.plugins.Node node)

add

public void add(org.processmining.ltl2automaton.plugins.Node node)

collapse

public void collapse()

create

public org.processmining.ltl2automaton.plugins.Node create()

create

public org.processmining.ltl2automaton.plugins.Node create(org.processmining.ltl2automaton.plugins.Node node)

createAutomaton

public void createAutomaton()

createInitial

public org.processmining.ltl2automaton.plugins.Node createInitial()

exists

public org.processmining.ltl2automaton.plugins.Node exists(org.processmining.ltl2automaton.plugins.Node node)

generateNextId

public int generateNextId()

getExpandCount

public int getExpandCount()

getFormula

public Formula getFormula()

getSize

public int getSize()

index_equivalence

public int index_equivalence(org.processmining.ltl2automaton.plugins.Node node,
                             org.processmining.ltl2automaton.plugins.Node[] equivalence)

isCollapsed

public boolean isCollapsed()

newExpand

public void newExpand()