SatSolverState

All Superinterfaces:

java.lang.AutoCloseable

All Known Implementing Classes:

NativeLingelingSolver.LingelingSolverState
```
public interface SatSolverState
extends java.lang.AutoCloseable
```

Method Summary

Modifier and Type	Method	Description
`boolean`	`add(java.util.Collection<Disjunction> clauses)`
`boolean`	`add(Disjunction clause)`
`long`	`getHandle()`
`boolean`	`isTrue(Proposition p)`
`boolean`	`remove(Disjunction clause)`
`void`	`setSatCalled()`

Methods inherited from interface java.lang.AutoCloseable
close

Method Detail

getHandle
```
long getHandle()
```

isTrue
```
boolean isTrue(Proposition p)
```

add
```
boolean add(Disjunction clause)
```

add

boolean add(java.util.Collection<Disjunction> clauses)

remove
```
boolean remove(Disjunction clause)
```

setSatCalled
```
void setSatCalled()
```