CrySLValueConstraint (CryptoAnalysis 3.2.0 API)

java.lang.Object
- crypto.rules.CrySLLiteral
- - crypto.rules.CrySLValueConstraint

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint
```
public class CrySLValueConstraint
extends CrySLLiteral
```

Constructor Summary

Constructors
Constructor Description

CrySLValueConstraint(CrySLObject name, List<String> values)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`List<String>`	`getInvolvedVarNames()`
`String`	`getName()`
`List<String>`	`getValueRange()`
`CrySLObject`	`getVar()`
`String`	`getVarName()`
`String`	`toString()`

Methods inherited from class crypto.rules.CrySLLiteral
getLocation

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

Constructor Detail

CrySLValueConstraint

public CrySLValueConstraint(CrySLObject name,
                            List<String> values)

Method Detail

getVarName
```
public String getVarName()
```
Returns:

the varName

getVar
```
public CrySLObject getVar()
```
Returns:

the varName

getValueRange
```
public List<String> getValueRange()
```
Returns:

the valueRange

toString
```
public String toString()
```
Overrides:

toString in class Object

getInvolvedVarNames

public List<String> getInvolvedVarNames()

getName
```
public String getName()
```