SatConflictFreeGenerator

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

All Implemented Interfaces:: CandidateGenerator<SatReasonerContext>

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

Author:: Mathias Hofer

Field Summary

Fields
Modifier and Type Field Description

private static SatEncoding CONFLICT_FREE_ENCODING

private static SatEncoding REFINE_UNEQUAL

private IncrementalSatSolver solver

Constructor Summary

Constructors
Constructor Description

SatConflictFreeGenerator(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

CONFLICT_FREE_ENCODING

private static final SatEncoding CONFLICT_FREE_ENCODING

REFINE_UNEQUAL

private static final SatEncoding REFINE_UNEQUAL

solver
```
private IncrementalSatSolver solver
```

Constructor Detail

SatConflictFreeGenerator

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