samples.fastregular
Class JunkerMinSet

java.lang.Object
  extended by samples.fastregular.JunkerMinSet

public class JunkerMinSet
extends Object

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Nov 23, 2009 Time: 11:32:49 AM


Constructor Summary
JunkerMinSet(IntegerVariable[] vars, ArrayList<dk.brics.automaton.Automaton> allAutomata, gnu.trove.TIntHashSet alpha)
           
 
Method Summary
 int[] computeMinConflictSet(double[] inactive)
           
static dk.brics.automaton.Automaton fromRule(String s, boolean allowed)
           
static void main(String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JunkerMinSet

public JunkerMinSet(IntegerVariable[] vars,
                    ArrayList<dk.brics.automaton.Automaton> allAutomata,
                    gnu.trove.TIntHashSet alpha)
Method Detail

computeMinConflictSet

public int[] computeMinConflictSet(double[] inactive)

fromRule

public static dk.brics.automaton.Automaton fromRule(String s,
                                                    boolean allowed)

main

public static void main(String[] args)


Copyright © 2012. All Rights Reserved.