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() |
void |
setCorrespondingNode(Node correspondingNode) |
java.lang.String |
toString() |
equals, getFirstSet, getSecondSet, hashCode, toMap
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.Copyright © 2003-2019 The KeY-Project.