Class DefaultificationTest

java.lang.Object
junit.framework.Assert
junit.framework.TestCase
org.tweetyproject.lp.asp.syntax.DefaultificationTest
All Implemented Interfaces:
junit.framework.Test

public class DefaultificationTest extends junit.framework.TestCase
Defaultification test
Author:
Matthias Thimm