samples.fastregular
Class JunkerMinSet
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JunkerMinSet
public JunkerMinSet(IntegerVariable[] vars,
ArrayList<dk.brics.automaton.Automaton> allAutomata,
gnu.trove.TIntHashSet alpha)
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.