Package modelcounter

Class Buchi2Graph

java.lang.Object

modelcounter.Buchi2Graph

public class Buchi2Graph
extends Object

Constructor Summary

Constructors

Constructor	Description
Buchi2Graph()

Method Summary

Modifier and Type	Method	Description
static gov.nasa.ltl.graph.Graph<String>	dfaToGraph(automata.Automaton dfa)
static gov.nasa.ltl.graph.Node<String>	getNode(gov.nasa.ltl.graph.Graph<String> g, String name)
static gov.nasa.ltl.graph.Graph<String>	LTL2Graph(owl.ltl.LabelledFormula formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

Buchi2Graph

public Buchi2Graph()

Method Detail

LTL2Graph

public static gov.nasa.ltl.graph.Graph<String> LTL2Graph(owl.ltl.LabelledFormula formula)

dfaToGraph

public static gov.nasa.ltl.graph.Graph<String> dfaToGraph(automata.Automaton dfa)

getNode

public static gov.nasa.ltl.graph.Node<String> getNode(gov.nasa.ltl.graph.Graph<String> g,
                                                      String name)