Package org.tweetyproject.math.examples

Class GlpkSolverEx

java.lang.Object

org.tweetyproject.math.examples.GlpkSolverEx

public class GlpkSolverEx
extends Object

This class implements an example for the Glpk Solver

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
GlpkSolverEx()	Constructor

Method Summary

Modifier and Type	Method	Description
static ConstraintSatisfactionProblem	createConstraintSatProb1()	constructor
static void	main(String[] args)	main method

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

GlpkSolverEx

public GlpkSolverEx()

Constructor

Method Details

createConstraintSatProb1

public static ConstraintSatisfactionProblem createConstraintSatProb1()

constructor

Returns:

problem

main

public static void main(String[] args)
                 throws ParserException,
IOException,
GeneralMathException

main method

Parameters:

args - arguments

Throws:

ParserException - ParserException

IOException - IOException

GeneralMathException - GeneralMathException