SymbolicAutomaton.StateEncoder (owl 21.0 API)

Enclosing class:

SymbolicAutomaton<A extends EmersonLeiAcceptance>
```
public static interface SymbolicAutomaton.StateEncoder<S>
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  BitSet encode(S state)
  
  int stateVariables()

Method Detail

stateVariables
```
int stateVariables()
```

encode
```
BitSet encode(S state)
```