de.uka.ilkd.key.testgen.oracle

Interfaces

• OracleTerm

Classes

• AllLocsLocationSet
• EmptyOracleLocationSet
• ModifiesSetTranslator
• OracleBinTerm
• OracleConstant
• OracleGenerator
• OracleInvariantTranslator
• OracleLocation
• OracleLocationSet
• OracleMethod
• OracleMethodCall
• OracleType
• OracleUnaryTerm
• OracleVariable

Enums

• OracleUnaryTerm.Op