OptimizeExample

java.lang.Object

org.tweetyproject.lp.asp.examples.OptimizeExample

public class OptimizeExample extends Object

An example for using optimization statements, taken from the clingo guide, chapter 3.1.13 https://github.com/potassco/guide.
Tested with clingo 5.4.0

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

OptimizeExample()
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- OptimizeExample
  
  public OptimizeExample()
Method Details
- main
  
  public static void main(String[] args) throws IOException, ParseException, SolverException
  
  Parameters:
  
  args - IOException
  
  Throws:
  
  IOException - IOException
  
  ParseException - ParseException
  
  SolverException - SolverException