SymbolicDPASolver.Solution (owl 21.0 API)

java.lang.Object
- owl.automaton.symbolic.SymbolicDPASolver.Solution

Enclosing interface:: SymbolicDPASolver

public abstract static class SymbolicDPASolver.Solution
extends Object

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class SymbolicDPASolver.Solution.Winner

Constructor Summary

Constructors
Constructor Description

Solution()

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`abstract BddSet`	`strategy()`
`abstract SymbolicDPASolver.Solution.Winner`	`winner()`
`abstract BddSet`	`winningRegion()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Solution
```
public Solution()
```

Method Detail

winner

public abstract SymbolicDPASolver.Solution.Winner winner()

winningRegion

public abstract BddSet winningRegion()

strategy
```
public abstract BddSet strategy()
```