Class | Description |
---|---|
MergeParamsSpec |
Specification of merge parameters for the creation of
MergeContract s; |
MergeRuleUtils |
This class encapsulates static methods used in the MergeRule implementation.
|
MergeRuleUtils.Option<T> |
A simple Scala-like option type: Either Some(value) or None.
|
SymbolicExecutionState |
A symbolic execution state is a pair of a symbolic state in form of a
parallel update, and a path condition in form of a JavaDL formula.
|
SymbolicExecutionStateWithProgCnt |
A symbolic execution state with program counter is a triple of a symbolic
state in form of a parallel update, a path condition in form of a JavaDL
formula, and a program counter in form of a JavaDL formula with non-empty
Java Block (and a possible post condition as first, and only, sub term).
|
Copyright © 2003-2019 The KeY-Project.