SatGroundGenerator

java.lang.Object
- net.sf.tweety.arg.adf.reasoner.generator.SatGroundGenerator

All Implemented Interfaces:: CandidateGenerator<SatReasonerContext>

public class SatGroundGenerator
extends java.lang.Object
implements CandidateGenerator<SatReasonerContext>

Author:: Mathias Hofer

Field Summary

Fields
Modifier and Type Field Description

private static SatEncoding CONFLICT_FREE

private static SatEncoding FIX_PARTIAL

private IncrementalSatSolver solver

Constructor Summary

Constructors
Constructor Description

SatGroundGenerator(IncrementalSatSolver solver)

Method Summary

Modifier and Type	Method	Description
`Interpretation`	`generate(SatReasonerContext context, AbstractDialecticalFramework adf)`	Does not return the same candidate on two calls on the same instance.
`SatReasonerContext`	`initialize(AbstractDialecticalFramework adf)`
`private void`	`makeUnsat(SatSolverState state)`

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

Field Detail

FIX_PARTIAL

private static final SatEncoding FIX_PARTIAL

CONFLICT_FREE

private static final SatEncoding CONFLICT_FREE

solver
```
private IncrementalSatSolver solver
```

Constructor Detail

SatGroundGenerator

public SatGroundGenerator(IncrementalSatSolver solver)

Parameters:: solver -

Method Detail
- initialize
```
public SatReasonerContext initialize(AbstractDialecticalFramework adf)
```
  Specified by:
  
  initialize in interface CandidateGenerator<SatReasonerContext>
- generate
```
public Interpretation generate(SatReasonerContext context,
                               AbstractDialecticalFramework adf)
```
  Description copied from interface: CandidateGenerator
  
  Does not return the same candidate on two calls on the same instance.
  
  Specified by:
  
  generate in interface CandidateGenerator<SatReasonerContext>
  
  Returns:
  
  an interpretation
- makeUnsat
```
private void makeUnsat(SatSolverState state)
```