Class PairInt

java.lang.Object
  extended byPairInt

public class PairInt
extends java.lang.Object

Ths class is used to handle pairs of integers, usually interpreted as half-edges (letter, state) in an automaton..


Method Summary
static void main(java.lang.String[] args)
           
static java.lang.String show(PairInt p, java.lang.String name)
           
 java.lang.String show(java.lang.String name)
           
 java.lang.String showAI(Alphabet a)
           
 java.lang.String showAI(java.lang.String name, Alphabet a)
           
 java.lang.String showIA(Alphabet a)
           
 java.lang.String showIA(java.lang.String name, Alphabet a)
           
 java.lang.String showWithoutln(java.lang.String name)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

showAI

public java.lang.String showAI(java.lang.String name,
                               Alphabet a)

showAI

public java.lang.String showAI(Alphabet a)

showIA

public java.lang.String showIA(java.lang.String name,
                               Alphabet a)

showIA

public java.lang.String showIA(Alphabet a)

showWithoutln

public java.lang.String showWithoutln(java.lang.String name)

show

public static java.lang.String show(PairInt p,
                                    java.lang.String name)

show

public java.lang.String show(java.lang.String name)

toString

public java.lang.String toString()

main

public static void main(java.lang.String[] args)