Class 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