Class SimplePlInterpolantEnumeratorExample


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

      • SimplePlInterpolantEnumeratorExample

        public SimplePlInterpolantEnumeratorExample()
    • Method Detail

      • main

        public static void main​(String[] args)
                         throws net.sf.tweety.commons.ParserException,
                                IOException
        Throws:
        net.sf.tweety.commons.ParserException
        IOException