GroundGenerator

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

All Implemented Interfaces:: CandidateGenerator

public final class GroundGenerator
extends java.lang.Object
implements CandidateGenerator

Author:: Mathias Hofer

Constructor Summary

Constructors
Constructor Description

GroundGenerator()

Method Summary

Modifier and Type	Method	Description
`Interpretation`	`generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)`	Does not return the same candidate on two calls on the same instance.
`void`	`initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)`	Performs initializations on the state.

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

- Constructor Detail
  - GroundGenerator
```
public GroundGenerator()
```
- Method Detail
  - initialize
```
public void initialize(SatSolverState state,
                       PropositionalMapping mapping,
                       AbstractDialecticalFramework adf)
```
    Description copied from interface: CandidateGenerator
    
    Performs initializations on the state.
    
    Specified by:
    
    initialize in interface CandidateGenerator
    
    Parameters:
    
    state - the state to initialize
    
    mapping - the propositional mapping of the ADF
    
    adf - the ADF
  - generate
```
public Interpretation generate(SatSolverState state,
                               PropositionalMapping encodingContext,
                               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
    
    Parameters:
    
    state - the initialized state
    
    encodingContext - the propositional mapping of the ADF
    
    adf - the ADF
    
    Returns:
    
    the generated interpretation