Package org.tweetyproject.arg.deductive

Class DeductiveTest

java.lang.Object

org.tweetyproject.arg.deductive.DeductiveTest

public class DeductiveTest
extends Object

Constructor Summary

Constructors

Constructor	Description
DeductiveTest()

Method Summary

Modifier and Type	Method	Description
void	plLogic(String[] args)
void	PreferredReasoning()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DeductiveTest

public DeductiveTest()

Method Details

PreferredReasoning

public void PreferredReasoning()
                        throws ParserException,
IOException

Throws:

ParserException

IOException

plLogic

public void plLogic(String[] args)