Module org.maxicp

Package org.maxicp.cp.examples.modeling

Class SMIC.ConvertToDzn

java.lang.Object

org.maxicp.cp.examples.modeling.SMIC.ConvertToDzn

Enclosing class:

SMIC

public static class SMIC.ConvertToDzn
extends Object

Constructor Summary

Constructors

Constructor	Description
ConvertToDzn(String filename)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

ConvertToDzn

public ConvertToDzn(String filename)
             throws Exception

Throws:

Exception