ISLConstraint (CryptoAnalysis 3.2.0 API)

All Superinterfaces:

ICrySLPredicateParameter

All Known Implementing Classes:

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

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  List<String> getInvolvedVarNames()
  
  boomerang.scene.Statement getLocation()
  - Methods inherited from interface crypto.rules.ICrySLPredicateParameter
    getName

Method Detail

getInvolvedVarNames
```
List<String> getInvolvedVarNames()
```

getLocation

boomerang.scene.Statement getLocation()