SatSolverStatePool

```
public interface SatSolverStatePool
```
Author:

Mathias Hofer

- Method Summary
  
  Modifier and Type Method Description
  
  SatSolverState reusable()
  
  SatSolverState usableOnce()

Method Detail

reusable
```
SatSolverState reusable()
```

usableOnce
```
SatSolverState usableOnce()
```