Package | Description |
---|---|
de.uka.ilkd.key.testgen.oracle |
Modifier and Type | Class and Description |
---|---|
class |
OracleBinTerm |
class |
OracleConstant |
class |
OracleMethodCall |
class |
OracleType |
class |
OracleUnaryTerm |
class |
OracleVariable |
Modifier and Type | Method and Description |
---|---|
OracleTerm |
OracleGenerator.generateOracle(Term term,
boolean initialSelect) |
OracleTerm |
OracleBinTerm.getLeft() |
OracleTerm |
OracleBinTerm.getRight() |
OracleTerm |
OracleUnaryTerm.getSub() |
Constructor and Description |
---|
OracleBinTerm(java.lang.String op,
OracleTerm left,
OracleTerm right) |
OracleMethodCall(OracleMethod method,
java.util.List<? extends OracleTerm> args,
OracleTerm caller) |
OracleUnaryTerm(OracleTerm sub,
OracleUnaryTerm.Op op) |
Constructor and Description |
---|
OracleMethodCall(OracleMethod method,
java.util.List<? extends OracleTerm> args) |
OracleMethodCall(OracleMethod method,
java.util.List<? extends OracleTerm> args,
OracleTerm caller) |
Copyright © 2003-2019 The KeY-Project.