Class OptimizeExample
- java.lang.Object
-
- org.tweetyproject.lp.asp.examples.OptimizeExample
-
public class OptimizeExample extends java.lang.ObjectAn example for using optimization statements, taken from the clingo guide, chapter 3.1.13 https://github.com/potassco/guide.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description OptimizeExample()
-
Method Summary
Modifier and Type Method Description static voidmain(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.io.IOException, ParseException, SolverException- Throws:
java.io.IOExceptionParseExceptionSolverException
-
-