org.jacop.fz

Class Fz2jacop

java.lang.Object

org.jacop.fz.Fz2jacop

public class Fz2jacop
extends Object

An executable to parse and execute the flatzinc file.

Version:

4.9

Author:

Krzysztof Kuchcinki

Constructor Summary

Constructors

Constructor and Description
Fz2jacop()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It parses the provided file and parsing parameters followed by problem solving.

Methods inherited from class java.lang.Object

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

Constructor Detail

Fz2jacop

public Fz2jacop()

Method Detail

main

public static void main(String[] args)

It parses the provided file and parsing parameters followed by problem solving.

Parameters:

args - parameters describing the flatzinc file containing the problem to be solved as well as options for problem solving.

TODO what are the conditions for different exceptions being thrown? Write little info below.