JaCoP.fz
Class Fz2jacop

java.lang.Object
  JaCoP.fz.Fz2jacop

public class Fz2jacop
extends java.lang.Object

An executable to parse and execute the flatzinc file.

Author:

Krzysztof Kuchcinki

Constructor Summary

Fz2jacop()

Method Summary

static void

main(java.lang.String[] args) It parses the provided file and parsing parameters followed by problem solving.

Methods inherited from class java.lang.Object

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

Constructor Detail

Fz2jacop

public Fz2jacop()

Method Detail

main

public static void main(java.lang.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.

Throws:

ParseException

TokenMgrError