Package crypto.rules

Class CrySLConstraint

java.lang.Object

crypto.rules.CrySLConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint

public class CrySLConstraint
extends Object
implements ISLConstraint

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CrySLConstraint.LogOps

Constructor Summary

Constructors

Constructor	Description
CrySLConstraint(ISLConstraint l, ISLConstraint r, CrySLConstraint.LogOps op)

Method Summary

Modifier and Type	Method	Description
List<String>	getInvolvedVarNames()
ISLConstraint	getLeft()
boomerang.scene.Statement	getLocation()
String	getName()
CrySLConstraint.LogOps	getOperator()
ISLConstraint	getRight()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CrySLConstraint

public CrySLConstraint(ISLConstraint l,
                       ISLConstraint r,
                       CrySLConstraint.LogOps op)

Method Detail

getOperator

public CrySLConstraint.LogOps getOperator()

Returns:

the operator return operator;

getLeft

public ISLConstraint getLeft()

Returns:

the left

getRight

public ISLConstraint getRight()

Returns:

the right

toString

public String toString()

Overrides:

toString in class Object

getInvolvedVarNames

public List<String> getInvolvedVarNames()

Specified by:

getInvolvedVarNames in interface ISLConstraint

getName

public String getName()

Specified by:

getName in interface ICrySLPredicateParameter

getLocation

public boomerang.scene.Statement getLocation()

Specified by:

getLocation in interface ISLConstraint