Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar.converter
Class Converter

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.converter.Converter

public class Converter
extends Object

Converter class is used to convert input expressions to a CSP.

See Also:
Expression, CSP

Field Summary
static boolean expandABS
           
static int MAX_EQUIVMAP_SIZE
           
static long MAX_LINEARSUM_SIZE
           
 
Constructor Summary
Converter(CSP csp)
           
 
Method Summary
 void convert(List<Expression> expressions)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MAX_EQUIVMAP_SIZE

public static int MAX_EQUIVMAP_SIZE

MAX_LINEARSUM_SIZE

public static long MAX_LINEARSUM_SIZE

expandABS

public static boolean expandABS
Constructor Detail

Converter

public Converter(CSP csp)
Method Detail

convert

public void convert(List<Expression> expressions)
             throws SugarException
Throws:
SugarException

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver