parser.flatzinc
Class Mzn2fzn
java.lang.Object
parser.flatzinc.Mzn2fzn
public class Mzn2fzn
- extends Object
For internal uses
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Mzn2fzn
public Mzn2fzn()
main
public static void main(String[] args)
throws IOException,
InterruptedException,
URISyntaxException
- Throws:
IOException
InterruptedException
URISyntaxException
doMain
public void doMain(String[] args)
throws IOException
- Throws:
IOException
mzn2fzn
protected static void mzn2fzn()
throws IOException
- Throws:
IOException
Copyright © 2012. All Rights Reserved.