Package net.sf.tweety.math.examples

Class GlpkSolverEx

java.lang.Object

net.sf.tweety.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()
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

GlpkSolverEx

public GlpkSolverEx()

Method Detail

createConstraintSatProb1

public static ConstraintSatisfactionProblem createConstraintSatProb1()

main

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

Throws:

net.sf.tweety.commons.ParserException

IOException

GeneralMathException