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
  • Constructor Details

    • SimplePlInterpolantEnumeratorExample

      public SimplePlInterpolantEnumeratorExample()
  • Method Details