VacuousReductReasonerExample

java.lang.Object

org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample

public class VacuousReductReasonerExample extends Object

example for the vacuous reduct reasoner

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

VacuousReductReasonerExample()

Creates a new VacuousReductReasonerExample instance.
Method Summary

Modifier and Type

Method

Description

static void

example1(AbstractExtensionReasoner reasoner)

Runs the first vacuous reduct reasoner example.

static void

example2(AbstractExtensionReasoner reasoner)

Runs the second vacuous reduct reasoner example.

static void

example3(AbstractExtensionReasoner reasoner)

Runs the third vacuous reduct reasoner example.

static void

main(String[] args)

Runs all vacuous reduct reasoner examples.

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

Constructor Details
- VacuousReductReasonerExample
  
  public VacuousReductReasonerExample()
  
  Creates a new VacuousReductReasonerExample instance.
Method Details
- example1
  
  public static void example1(AbstractExtensionReasoner reasoner)
  
  Runs the first vacuous reduct reasoner example.
  
  Parameters:
  
  reasoner - the reasoner
- example2
  
  public static void example2(AbstractExtensionReasoner reasoner)
  
  Runs the second vacuous reduct reasoner example.
  
  Parameters:
  
  reasoner - the reasoner
- example3
  
  public static void example3(AbstractExtensionReasoner reasoner)
  
  Runs the third vacuous reduct reasoner example.
  
  Parameters:
  
  reasoner - the reasoner
- main
  
  public static void main(String[] args)
  
  Runs all vacuous reduct reasoner examples.
  
  Parameters:
  
  args - arguments