Class SimplePlInterpolantEnumeratorExample
java.lang.Object
org.tweetyproject.logics.pl.examples.SimplePlInterpolantEnumeratorExample
Illustrates the use of the SimplePlInterpolantEnumerator
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
SimplePlInterpolantEnumeratorExample
public SimplePlInterpolantEnumeratorExample()
-
-
Method Details
-
main
main- Parameters:
args
- arguments- Throws:
ParserException
- ParserExceptionIOException
- IOException
-