public class Simplifier
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
MAX_SIMPLIFYCACHE_SIZE |
static boolean |
USE_SIMPLIFYCACHE |
Constructor and Description |
---|
Simplifier(CSP csp) |
Modifier and Type | Method and Description |
---|---|
void |
simplify() |
public static boolean USE_SIMPLIFYCACHE
public static int MAX_SIMPLIFYCACHE_SIZE
public Simplifier(CSP csp)
public void simplify() throws SugarException
SugarException