SatModelGenerator

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

All Implemented Interfaces:: CandidateGenerator<SatReasonerContext>

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

Author:: Mathias Hofer

Field Summary

Fields
Modifier and Type Field Description

private static SatEncoding REFINE_UNEQUAL

private IncrementalSatSolver solver

private static SatEncoding TWO_VALUED_MODEL_ENCODING

Constructor Summary

Constructors
Constructor Description

SatModelGenerator(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)`

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

Field Detail

TWO_VALUED_MODEL_ENCODING

private static final SatEncoding TWO_VALUED_MODEL_ENCODING

REFINE_UNEQUAL

private static final SatEncoding REFINE_UNEQUAL

solver
```
private IncrementalSatSolver solver
```

Constructor Detail

SatModelGenerator

public SatModelGenerator(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