JbddIncrementalSolver (owl 21.0 API)

java.lang.Object
- owl.logic.propositional.sat.JbddIncrementalSolver

All Implemented Interfaces:: IncrementalSolver

public class JbddIncrementalSolver
extends Object
implements IncrementalSolver

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Optional<BitSet>`	`model()`
`void`	`popClauses()`
`void`	`pushClauses(int... clauses)`
`void`	`pushClauses(com.google.common.primitives.ImmutableIntArray clauses)`

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

- Method Detail
  - pushClauses
```
public void pushClauses(int... clauses)
```
    Specified by:
    
    pushClauses in interface IncrementalSolver
  - pushClauses
```
public void pushClauses(com.google.common.primitives.ImmutableIntArray clauses)
```
    Specified by:
    
    pushClauses in interface IncrementalSolver
  - popClauses
```
public void popClauses()
```
    Specified by:
    
    popClauses in interface IncrementalSolver
  - model
```
public Optional<BitSet> model()
```
    Specified by:
    
    model in interface IncrementalSolver