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 classCrySLComparisonConstraint.CompOp
-
Constructor Summary
Constructors Constructor Description CrySLComparisonConstraint(CrySLArithmeticConstraint l, CrySLArithmeticConstraint r, CrySLComparisonConstraint.CompOp op)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<String>getInvolvedVarNames()CrySLArithmeticConstraintgetLeft()StringgetName()CrySLComparisonConstraint.CompOpgetOperator()CrySLArithmeticConstraintgetRight()StringtoString()-
Methods inherited from class crypto.rules.CrySLLiteral
getLocation, setLocation
-
-
-
-
Constructor Detail
-
CrySLComparisonConstraint
public CrySLComparisonConstraint(CrySLArithmeticConstraint l, CrySLArithmeticConstraint r, CrySLComparisonConstraint.CompOp op)
-
-
Method Detail
-
getOperator
public CrySLComparisonConstraint.CompOp getOperator()
- Returns:
- the operator
-
getLeft
public CrySLArithmeticConstraint getLeft()
- Returns:
- the left
-
getRight
public CrySLArithmeticConstraint getRight()
- Returns:
- the right
-
getName
public String getName()
-
-