fr.umlv.roadcoloring.graph
Class Pairs

java.lang.Object
  extended by fr.umlv.roadcoloring.graph.Pairs

public class Pairs
extends java.lang.Object

Compute the pair automata in order to find a synchronize word

Author:
fsikora

Constructor Summary
Pairs(Graph g)
           
 
Method Summary
 java.lang.String getSynchronizedWord()
          Compute the pair automata in each step and return the synchronize word for the graph
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Pairs

public Pairs(Graph g)
Method Detail

getSynchronizedWord

public java.lang.String getSynchronizedWord()
Compute the pair automata in each step and return the synchronize word for the graph

Returns:
the synch word