Package crypto.rules

Class CrySLArithmeticConstraint

java.lang.Object

crypto.rules.CrySLLiteral

crypto.rules.CrySLArithmeticConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable

public class CrySLArithmeticConstraint
extends CrySLLiteral

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CrySLArithmeticConstraint.ArithOp

Constructor Summary

Constructors

Constructor	Description
CrySLArithmeticConstraint(ICrySLPredicateParameter l, ICrySLPredicateParameter r, CrySLArithmeticConstraint.ArithOp op)

Method Summary

Modifier and Type	Method	Description
Set<String>	getInvolvedVarNames()
ICrySLPredicateParameter	getLeft()
String	getName()
CrySLArithmeticConstraint.ArithOp	getOperator()
ICrySLPredicateParameter	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

CrySLArithmeticConstraint

public CrySLArithmeticConstraint(ICrySLPredicateParameter l,
                                 ICrySLPredicateParameter r,
                                 CrySLArithmeticConstraint.ArithOp op)

Method Detail

getOperator

public CrySLArithmeticConstraint.ArithOp getOperator()

Returns:

the operator

getLeft

public ICrySLPredicateParameter getLeft()

Returns:

the left

getRight

public ICrySLPredicateParameter getRight()

Returns:

the right

toString

public String toString()

Overrides:

toString in class Object

getInvolvedVarNames

public Set<String> getInvolvedVarNames()

getName

public String getName()