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()

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()

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