EvaluateWorld4V

java.lang.Object

org.tweetyproject.logics.translators.adfconditional.EvaluateWorld4V

public class EvaluateWorld4V extends Object

This class represents an implementation of example 4, 5 and 6 from the paper [Heyninck et al. 2021] Conditional Abstract Dialectical Frameworks

Author:: Jonas Schumacher

Constructor Summary

Constructors

Constructor

Description

EvaluateWorld4V()

Default Constructor
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Test method

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

Constructor Details
- EvaluateWorld4V
  
  public EvaluateWorld4V()
  
  Default Constructor
Method Details
- main
  
  public static void main(String[] args)
  
  Test method
  
  Parameters:
  
  args - arguments