jp.kobe_u.sugar.hook.ConverterHook Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jsr331-sugar Show documentation

This is a JSR331 interface for the open source Java constraint programming library "Sugar" v. 2.1.3

There is a newer version: 2.3.1

package jp.kobe_u.sugar.hook;

import java.util.List;

import jp.kobe_u.sugar.SugarException;
import jp.kobe_u.sugar.converter.Converter;
import jp.kobe_u.sugar.csp.Clause;
import jp.kobe_u.sugar.expression.Expression;

public interface ConverterHook {
    public Expression convertFunction(Converter converter, Expression x) throws SugarException;
    public Expression convertConstraint(Converter converter, Expression x, boolean negative, List clauses) throws SugarException;
}