Modifier and Type | Field and Description |
---|---|
private Node |
correspondingNode |
Constructor and Description |
---|
SymbolicExecutionState(Term symbolicState,
Term pathCondition) |
SymbolicExecutionState(Term symbolicState,
Term pathCondition,
Node correspondingNode) |
Modifier and Type | Method and Description |
---|---|
Node |
getCorrespondingNode() |
Term |
getPathCondition() |
Term |
getSymbolicState() |
private java.lang.String |
rmN(java.lang.String str)
Removes a trailing newline (\n) char from the given string.
|
void |
setCorrespondingNode(Node correspondingNode) |
java.lang.String |
toString() |
equals, getFirstSet, getSecondSet, hashCode, toMap
private Node correspondingNode
public SymbolicExecutionState(Term symbolicState, Term pathCondition)
symbolicState
- The symbolic state (parallel update).pathCondition
- The path condition (formula).public Term getSymbolicState()
public Term getPathCondition()
public Node getCorrespondingNode()
public void setCorrespondingNode(Node correspondingNode)
The
- node corresponding to this SE state.private java.lang.String rmN(java.lang.String str)
str
- The string to remove the newline char from.