Package crypto.constraints
Class ComparisonConstraint
- java.lang.Object
-
- crypto.constraints.EvaluableConstraint
-
- crypto.constraints.ComparisonConstraint
-
public class ComparisonConstraint extends EvaluableConstraint
-
-
Field Summary
-
Fields inherited from class crypto.constraints.EvaluableConstraint
LOGGER
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedComparisonConstraint(ISLConstraint origin, ConstraintSolver context)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidevaluate()-
Methods inherited from class crypto.constraints.EvaluableConstraint
extractSootArray, extractValueAsString, getErrors, getInstance, hasErrors
-
-
-
-
Constructor Detail
-
ComparisonConstraint
protected ComparisonConstraint(ISLConstraint origin, ConstraintSolver context)
-
-
Method Detail
-
evaluate
public void evaluate()
- Specified by:
evaluatein classEvaluableConstraint
-
-