jp.kobe_u.sugar.converter

Class ComparisonConverter

java.lang.Object

jp.kobe_u.sugar.converter.ComparisonConverter

public class ComparisonConverter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ComparisonConverter(Converter converter)

Method Summary

Modifier and Type	Method and Description
java.util.List<Clause>	convertComp(Expression x, Expression y, java.lang.String cmp)
LinearLiteral	reduceArity(LinearLiteral lit)

Methods inherited from class java.lang.Object

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

Constructor Detail

ComparisonConverter

public ComparisonConverter(Converter converter)

Method Detail

reduceArity

public LinearLiteral reduceArity(LinearLiteral lit)
                          throws SugarException

Throws:

SugarException

convertComp

public java.util.List<Clause> convertComp(Expression x,
                                          Expression y,
                                          java.lang.String cmp)
                                   throws SugarException

Throws:

SugarException