public class ComparisonConverter
extends java.lang.Object
Constructor and Description |
---|
ComparisonConverter(Converter converter) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Clause> |
convertComp(Expression x,
Expression y,
java.lang.String cmp) |
LinearLiteral |
reduceArity(LinearLiteral lit) |
public ComparisonConverter(Converter converter)
public LinearLiteral reduceArity(LinearLiteral lit) throws SugarException
SugarException
public java.util.List<Clause> convertComp(Expression x, Expression y, java.lang.String cmp) throws SugarException
SugarException