Package owl.translations.nbadet
Class NbaAdjMat<S>
- java.lang.Object
-
- owl.translations.nbadet.NbaAdjMat<S>
-
public final class NbaAdjMat<S> extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<S,? extends BuchiAcceptance>original()Pair<BitSet,BitSet>powerSucc(BitSet state, BitSet valuation)Optimized successor function for a fixed valuation.com.google.common.collect.ImmutableBiMap<S,Integer>stateMap()BitSetstates()Pair<BitSet,BitSet>succ(int st, int sym)StringtoString()
-
-
-
Method Detail
-
original
public Automaton<S,? extends BuchiAcceptance> original()
-
states
public BitSet states()
-
powerSucc
public Pair<BitSet,BitSet> powerSucc(BitSet state, BitSet valuation)
Optimized successor function for a fixed valuation. It uses the provided accepting sinks and language inclusions to modify/shrink the result.- Parameters:
state- current set of statesvaluation- active transition- Returns:
- all successors + successors reached by at least one accepting edge
-
-