samples.lattice
Class Test

java.lang.Object
  extended by samples.lattice.Test

public class Test
extends Object

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Dec 3, 2009 Time: 12:41:43 PM


Constructor Summary
Test(int seqSize)
           
 
Method Summary
static void main(String[] args)
           
 dk.brics.automaton.Automaton makeLengthAccept(int[] alphabet, int size)
           
 dk.brics.automaton.Automaton makeNoMoreTwoConsRest()
           
 dk.brics.automaton.Automaton makeStartWithWork()
           
 void printAuto(dk.brics.automaton.Automaton auto, String name)
           
 dk.brics.automaton.Automaton testInter()
           
 dk.brics.automaton.Automaton unionWithRule1()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Test

public Test(int seqSize)
Method Detail

makeLengthAccept

public dk.brics.automaton.Automaton makeLengthAccept(int[] alphabet,
                                                     int size)

makeStartWithWork

public dk.brics.automaton.Automaton makeStartWithWork()

makeNoMoreTwoConsRest

public dk.brics.automaton.Automaton makeNoMoreTwoConsRest()

testInter

public dk.brics.automaton.Automaton testInter()

unionWithRule1

public dk.brics.automaton.Automaton unionWithRule1()

printAuto

public void printAuto(dk.brics.automaton.Automaton auto,
                      String name)

main

public static void main(String[] args)


Copyright © 2012. All Rights Reserved.