Class PairInt
java.lang.Object
PairInt
- 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..
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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)