public class OracleUnaryTerm extends java.lang.Object implements OracleTerm
Modifier and Type | Class and Description |
---|---|
static class |
OracleUnaryTerm.Op |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
OP_MINUS |
static java.lang.String |
OP_NEG |
Constructor and Description |
---|
OracleUnaryTerm(OracleTerm sub,
OracleUnaryTerm.Op op) |
Modifier and Type | Method and Description |
---|---|
OracleUnaryTerm.Op |
getOp() |
OracleTerm |
getSub() |
java.lang.String |
toString() |
public static java.lang.String OP_NEG
public static java.lang.String OP_MINUS
public OracleUnaryTerm(OracleTerm sub, OracleUnaryTerm.Op op)
public OracleUnaryTerm.Op getOp()
public OracleTerm getSub()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.