NativeLingelingSolver.LingelingSolverState

java.lang.Object
- net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState

All Implemented Interfaces:: java.lang.AutoCloseable, SatSolverState

Enclosing class:: NativeLingelingSolver

private class NativeLingelingSolver.LingelingSolverState
extends java.lang.Object
implements SatSolverState

Field Summary

Fields
Modifier and Type	Field	Description
`private long`	`handle`
`private java.util.Map<Proposition,java.lang.Integer>`	`props`
`private boolean`	`satCalled`	Flag which indicates if sat was already called at least once.
`private NativeLingelingSolver`	`solver`

Constructor Summary

Constructors
Constructor Description

LingelingSolverState(NativeLingelingSolver solver)

Method Summary

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

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

Field Detail

props

private java.util.Map<Proposition,java.lang.Integer> props

handle
```
private long handle
```

solver
```
private NativeLingelingSolver solver
```

satCalled
```
private boolean satCalled
```
Flag which indicates if sat was already called at least once.

Constructor Detail

LingelingSolverState

public LingelingSolverState(NativeLingelingSolver solver)

Method Detail
- close
```
public void close()
           throws java.lang.Exception
```
  Specified by:
  
  close in interface java.lang.AutoCloseable
  
  Throws:
  
  java.lang.Exception
- getHandle
```
public long getHandle()
```
  Specified by:
  
  getHandle in interface SatSolverState
- getPossibleWorld
```
public PossibleWorld getPossibleWorld()
```
- isTrue
```
public boolean isTrue(Proposition p)
```
  Specified by:
  
  isTrue in interface SatSolverState
- add
```
public boolean add(java.util.Collection<Disjunction> clauses)
```
  Specified by:
  
  add in interface SatSolverState
- add
```
public boolean add(Disjunction clause)
```
  Specified by:
  
  add in interface SatSolverState
- setSatCalled
```
public void setSatCalled()
```
  Specified by:
  
  setSatCalled in interface SatSolverState
- remove
```
public boolean remove(Disjunction clause)
```
  Specified by:
  
  remove in interface SatSolverState