Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar
Class SugarMain

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.SugarMain

public class SugarMain
extends Object

SugarMain main class.


Constructor Summary
SugarMain()
           
 
Method Summary
 void decode(String outFileName, String mapFileName)
           
 void encode(String cspFileName, String satFileName, String mapFileName)
           
static void main(String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SugarMain

public SugarMain()
Method Detail

encode

public void encode(String cspFileName,
                   String satFileName,
                   String mapFileName)
            throws SugarException,
                   IOException
Throws:
SugarException
IOException

decode

public void decode(String outFileName,
                   String mapFileName)
            throws SugarException,
                   IOException
Throws:
SugarException
IOException

main

public static void main(String[] args)
Parameters:
args -

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver