samples.fastregular
Class MinimumRegularSet

java.lang.Object
  extended by 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


Constructor Summary
MinimumRegularSet(ArrayList<String> rules, ArrayList<Integer> indexes, int nbVars, int[] domains)
           
 
Method Summary
 void buildWithInSet()
           
 void findMinimumSet()
           
static void main(String[] args)
           
 void printRulesToBeRemoved(HashSet<dk.brics.automaton.Automaton> set)
           
 HashSet<dk.brics.automaton.Automaton> solve()
           
 boolean solveCurrent()
           
static void test()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MinimumRegularSet

public MinimumRegularSet(ArrayList<String> rules,
                         ArrayList<Integer> indexes,
                         int nbVars,
                         int[] domains)
Method Detail

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.