ISLConstraint (CryptoAnalysis 3.1.0 API)

All Superinterfaces:

ICrySLPredicateParameter, Serializable

All Known Implementing Classes:

AlternativeReqPredicate, CrySLArithmeticConstraint, CrySLComparisonConstraint, CrySLCondPredicate, CrySLConstraint, CrySLExceptionConstraint, CrySLLiteral, CrySLPredicate, CrySLValueConstraint, ParameterAwarePredicate, RequiredCrySLPredicate
```
public interface ISLConstraint
extends Serializable, ICrySLPredicateParameter
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Set<String>`	`getInvolvedVarNames()`
`boomerang.jimple.Statement`	`getLocation()`
`void`	`setLocation(boomerang.jimple.Statement location)`

Methods inherited from interface crypto.interfaces.ICrySLPredicateParameter
getName

Method Detail

getInvolvedVarNames
```
Set<String> getInvolvedVarNames()
```

setLocation

void setLocation(boomerang.jimple.Statement location)

getLocation

boomerang.jimple.Statement getLocation()