PreferredRevisionerADF

java.lang.Object

org.tweetyproject.logics.translators.adfrevision.PreferredRevisionerADF

public class PreferredRevisionerADF extends Object

This class implements a revision operator for Abstract Dialectical Frameworks (ADFs)

Author:: Jonas Schumacher

Constructor Summary

Constructors

Constructor

Description

PreferredRevisionerADF()

Default Constructor
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Revise an ADF with a Propositional Formula information-modular preorders

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

Constructor Details
- PreferredRevisionerADF
  
  public PreferredRevisionerADF()
  
  Default Constructor
Method Details
- main
  
  public static void main(String[] args) throws FileNotFoundException, IOException
  
  Revise an ADF with a Propositional Formula information-modular preorders
  
  Parameters:
  
  args - arguments
  
  Throws:
  
  FileNotFoundException - FileNotFoundException
  
  IOException - IOException