ClaimBasedReasonersTest

java.lang.Object

org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest

public class ClaimBasedReasonersTest extends Object

Test for claim-based reasoners.

The example builds a small claim-based theory and prints the results of several reasoners.

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

ClaimBasedReasonersTest()

Creates a new claim-based reasoner test.
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Main method.

static Set<Set<String>>

print(Set<ClaimSet> input)

Converts claim sets to sets of claim names for pretty printing.

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

Constructor Details
- ClaimBasedReasonersTest
  
  public ClaimBasedReasonersTest()
  
  Creates a new claim-based reasoner test.
Method Details
- main
  
  public static void main(String[] args)
  
  Main method.
  
  Parameters:
  
  args - command-line arguments
- print
  
  public static Set<Set<String>> print(Set<ClaimSet> input)
  
  Converts claim sets to sets of claim names for pretty printing.
  
  Parameters:
  
  input - input for pretty print
  
  Returns:
  
  the printed version