samples.lattice
Class Test
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Test
public Test(int seqSize)
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.