Package org.tweetyproject.logics.pl.examples

Class PrimeImplicantTest

java.lang.Object

org.tweetyproject.logics.pl.examples.PrimeImplicantTest

public class PrimeImplicantTest
extends Object

PrimeImplicantTest class

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
PrimeImplicantTest()	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

PrimeImplicantTest

public PrimeImplicantTest()

Default Constructor

Method Details

main

public static void main(String[] args)
                 throws ParserException,
IOException

Test method

Parameters:

args - command line arguments

Throws:

ParserException - a parser exception

IOException - io exception