Package org.tweetyproject.arg.dung.examples

Class 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()

Method Summary

Modifier and Type	Method	Description
static void	example1(AbstractExtensionReasoner reasoner)
static void	example2(AbstractExtensionReasoner reasoner)
static void	example3(AbstractExtensionReasoner reasoner)
static void	main(String[] args)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

VacuousReductReasonerExample

public VacuousReductReasonerExample()

Method Details

example1

public static void example1(AbstractExtensionReasoner reasoner)

Parameters:

reasoner - the reasoner

example2

public static void example2(AbstractExtensionReasoner reasoner)

Parameters:

reasoner - the reasoner

example3

public static void example3(AbstractExtensionReasoner reasoner)

Parameters:

reasoner - the reasoner

main

public static void main(String[] args)

Parameters:

args - arguments