ModelGenerator

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator

All Implemented Interfaces:: CandidateGenerator

public abstract class ModelGenerator extends Object implements CandidateGenerator

Author:: Mathias Hofer

Method Summary

Modifier and Type

Method

Description

Interpretation

generate(SatSolverState state)

Does not return the same candidate on two calls on the same instance.

static CandidateGenerator

withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)

The resulting CandidateGenerator computes all two-valued model interpretations.

static CandidateGenerator

withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)

The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.

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

Methods inherited from interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
prepare

Method Details
- withPrefix
  
  public static CandidateGenerator withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
  
  The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.
  
  Parameters:
  
  adf -
  
  mapping -
  
  prefix - the fixed prefix
  
  Returns:
- withoutPrefix
  
  public static CandidateGenerator withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
  
  The resulting CandidateGenerator computes all two-valued model interpretations.
  
  Parameters:
  
  adf -
  
  mapping -
  
  Returns:
- generate
  
  public Interpretation generate(SatSolverState state)
  
  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
  
  Returns:
  
  the generated interpretation