Class RevisionTest
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.revision.RevisionTest
-
public class RevisionTest extends java.lang.Object
Uses the RevisionCompareView in a JFrame to compare the different revision methods in ASP. The first program argument can be used to point to the dlv-complex exectuable. The second program argument can be used to set the current directory of the open belief bases file dialog.- Author:
- Tim Janus
-
-
Constructor Summary
Constructors Constructor Description RevisionTest()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-