Class SimplePlInterpolantEnumeratorExample

java.lang.Object
org.tweetyproject.logics.pl.examples.SimplePlInterpolantEnumeratorExample

public class SimplePlInterpolantEnumeratorExample extends Object
Illustrates the use of the SimplePlInterpolantEnumerator
Author:
Matthias Thimm