Package crypto.rules

Class CrySLComparisonConstraint

java.lang.Object

crypto.rules.CrySLLiteral

crypto.rules.CrySLComparisonConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class CrySLComparisonConstraint
extends CrySLLiteral

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CrySLComparisonConstraint.CompOp

Constructor Summary

Constructors

Constructor	Description
CrySLComparisonConstraint(CrySLArithmeticConstraint l, CrySLArithmeticConstraint r, CrySLComparisonConstraint.CompOp op)

Method Summary

Modifier and Type	Method	Description
Set<String>	getInvolvedVarNames()
CrySLArithmeticConstraint	getLeft()
String	getName()
CrySLComparisonConstraint.CompOp	getOperator()
CrySLArithmeticConstraint	getRight()
String	toString()

Methods inherited from class crypto.rules.CrySLLiteral

getLocation, setLocation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CrySLComparisonConstraint

public CrySLComparisonConstraint(CrySLArithmeticConstraint l,
                                 CrySLArithmeticConstraint r,
                                 CrySLComparisonConstraint.CompOp op)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getOperator

public CrySLComparisonConstraint.CompOp getOperator()

Returns:

the operator

getLeft

public CrySLArithmeticConstraint getLeft()

Returns:

the left

getRight

public CrySLArithmeticConstraint getRight()

Returns:

the right

getInvolvedVarNames

public Set<String> getInvolvedVarNames()

getName

public String getName()