@Override public Boolean readProperty(DataInput in) throws IOException { if (mask == 0) { start(in); } Boolean prop = Boolean.valueOf((currAcc & mask) == mask); mask <<= 1; return prop; } }
public <I> CompactDFA<I> readDFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.DFA, alphabet, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactDFA<Integer> readNativeDFA() throws IOException { return readNativeAutomaton(AutomatonType.DFA, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
@Override public Boolean readProperty(DataInput in) throws IOException { if (mask == 0) { start(in); } Boolean prop = Boolean.valueOf((currAcc & mask) == mask); mask <<= 1; return prop; } }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }
public <I> CompactDFA<I> readDFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.DFA, alphabet, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactDFA<Integer> readNativeDFA() throws IOException { return readNativeAutomaton(AutomatonType.DFA, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }
public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }