RequiredCrySLPredicate (CryptoAnalysis 3.1.0 API)

java.lang.Object
- crypto.analysis.RequiredCrySLPredicate

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable
```
public class RequiredCrySLPredicate
extends Object
implements ISLConstraint
```
See Also:

Serialized Form

Constructor Summary

Constructors
Constructor Description

RequiredCrySLPredicate(CrySLPredicate predicate, boomerang.jimple.Statement stmt)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Set<String>`	`getInvolvedVarNames()`
`boomerang.jimple.Statement`	`getLocation()`
`String`	`getName()`
`CrySLPredicate`	`getPred()`
`int`	`hashCode()`
`void`	`setLocation(boomerang.jimple.Statement location)`
`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.jimple.Statement stmt)

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.jimple.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 Set<String> getInvolvedVarNames()
```
  Specified by:
  
  getInvolvedVarNames in interface ISLConstraint
- setLocation
```
public void setLocation(boomerang.jimple.Statement location)
```
  Specified by:
  
  setLocation in interface ISLConstraint