SymbolicDPASolver (owl 21.0 API)

All Known Implementing Classes:

DFISymbolicDPASolver

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
```
@FunctionalInterface
public interface SymbolicDPASolver
```

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class SymbolicDPASolver.Solution

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`SymbolicDPASolver.Solution`	`solve(SymbolicAutomaton<? extends ParityAcceptance> dpa, ImmutableBitSet controlledAps)`

Method Detail

solve

SymbolicDPASolver.Solution solve(SymbolicAutomaton<? extends ParityAcceptance> dpa,
                                 ImmutableBitSet controlledAps)