GrounderStableVerifier

java.lang.Object
- net.sf.tweety.arg.adf.reasoner.verifier.GrounderStableVerifier<S>

Type Parameters:

S - some class

All Implemented Interfaces:

Verifier<S>
```
public class GrounderStableVerifier<S>
extends java.lang.Object
implements Verifier<S>
```
Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.

Author:

Mathias Hofer

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private CandidateGenerator<S> groundGenerator
- Constructor Summary
  
  Constructors
  Constructor Description
  
  GrounderStableVerifier(CandidateGenerator<S> groundGenerator)
  Expects a candidate generator for ground semantics
- Method Summary
  
  Modifier and Type Method Description
  
  boolean verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

groundGenerator

private CandidateGenerator<S> groundGenerator

Constructor Detail
- GrounderStableVerifier
```
public GrounderStableVerifier(CandidateGenerator<S> groundGenerator)
```
  Expects a candidate generator for ground semantics
  
  Parameters:
  
  groundGenerator -

Method Detail

verify

public boolean verify(S state,
                      Interpretation candidate,
                      AbstractDialecticalFramework adf)

Specified by:: verify in interface Verifier<S>