| Class | Description |
|---|---|
| SimplifyTermProfile |
An extended
JavaProfile used in side proofs to simplify a Term. |
| SymbolicExecutionJavaProfile |
An extended
JavaProfile used by the symbolic execution API. |
| SymbolicExecutionJavaProfileDefaultProfileResolver |
A
DefaultProfileResolver which returns SymbolicExecutionJavaProfile.getDefaultInstance(). |