CrySLValueConstraint (CryptoAnalysis 3.1.0 API)

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

All Implemented Interfaces:

ICrySLPredicateParameter, ISLConstraint, Serializable
```
public class CrySLValueConstraint
extends CrySLLiteral
```
See Also:

Serialized Form

Constructor Summary

Constructors
Constructor	Description
`CrySLValueConstraint(CrySLObject name, String value)`
`CrySLValueConstraint(CrySLObject name, List<String> values)`

Method Summary

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

Methods inherited from class crypto.rules.CrySLLiteral
getLocation, setLocation

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

Constructor Detail

CrySLValueConstraint

public CrySLValueConstraint(CrySLObject name,
                            String value)

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 Set<String> getInvolvedVarNames()

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