samples.fastregular
Class MinimumRegularSet
java.lang.Object
samples.fastregular.MinimumRegularSet
public class MinimumRegularSet
- extends Object
Created by IntelliJ IDEA.
User: julien
Mail: julien.menana{at}emn.fr
Date: Nov 16, 2009
Time: 7:25:31 PM
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MinimumRegularSet
public MinimumRegularSet(ArrayList<String> rules,
ArrayList<Integer> indexes,
int nbVars,
int[] domains)
solveCurrent
public boolean solveCurrent()
buildWithInSet
public void buildWithInSet()
findMinimumSet
public void findMinimumSet()
solve
public HashSet<dk.brics.automaton.Automaton> solve()
printRulesToBeRemoved
public void printRulesToBeRemoved(HashSet<dk.brics.automaton.Automaton> set)
main
public static void main(String[] args)
test
public static void test()
Copyright © 2012. All Rights Reserved.