public class SimpleSymbolicValue extends Object implements SymbolicValue
| Constructor and Description |
|---|
SimpleSymbolicValue(int id) |
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
constrain(ProgramState state,
Constraint constraint) |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitconstraintpublic List<ProgramState> constrain(ProgramState state, Constraint constraint)
constrain in interface SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.