ClaimBasedReasonersTest

java.lang.Object

org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest

public class ClaimBasedReasonersTest extends Object

test for claim based reasoners

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

ClaimBasedReasonersTest()
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

main method

static Set<Set<String>>

print(Set<ClaimSet> input)

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

Constructor Details
- ClaimBasedReasonersTest
  
  public ClaimBasedReasonersTest()
Method Details
- main
  
  public static void main(String[] args)
  
  main method
  
  Parameters:
  
  args - arguments
- print
  
  public static Set<Set<String>> print(Set<ClaimSet> input)
  
  Parameters:
  
  input - input for pretty print
  
  Returns:
  
  the printe version