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() . |