Package org.tweetyproject.math.examples

Class GurobiTest

java.lang.Object

org.tweetyproject.math.examples.GurobiTest

public class GurobiTest
extends Object

test for gurobi

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
GurobiTest()

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

GurobiTest

public GurobiTest()

Method Details

createConstraintSatProb1

public static ConstraintSatisfactionProblem createConstraintSatProb1()

constructor

Returns:

problem

main

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

main method

Parameters:

args - arguments

Throws:

ParserException - ParserException

IOException - IOException

GeneralMathException - GeneralMathException

gurobi.GRBException - GRBException