RequiredCrySLPredicate (CryptoAnalysis 3.2.0 API)

java.lang.Object
- crypto.analysis.RequiredCrySLPredicate

All Implemented Interfaces:: ICrySLPredicateParameter, ISLConstraint

public class RequiredCrySLPredicate
extends Object
implements ISLConstraint

Constructor Summary

Constructors
Constructor Description

RequiredCrySLPredicate(CrySLPredicate predicate, boomerang.scene.Statement statement)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`List<String>`	`getInvolvedVarNames()`
`boomerang.scene.Statement`	`getLocation()`
`String`	`getName()`
`CrySLPredicate`	`getPred()`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RequiredCrySLPredicate

public RequiredCrySLPredicate(CrySLPredicate predicate,
                              boomerang.scene.Statement statement)

Method Detail
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Object
- getPred
```
public CrySLPredicate getPred()
```
- getLocation
```
public boomerang.scene.Statement getLocation()
```
  Specified by:
  
  getLocation in interface ISLConstraint
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object
- getName
```
public String getName()
```
  Specified by:
  
  getName in interface ICrySLPredicateParameter
- getInvolvedVarNames
```
public List<String> getInvolvedVarNames()
```
  Specified by:
  
  getInvolvedVarNames in interface ISLConstraint