Package | Description |
---|---|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
de.uka.ilkd.key.java.expression.operator.adt |
Modifier and Type | Class and Description |
---|---|
class |
BinaryAnd
Binary and.
|
class |
BinaryOr
Binary or.
|
class |
BinaryXOr
Binary X or.
|
class |
Divide
Divide.
|
class |
Intersect |
class |
Minus
Minus.
|
class |
Modulo
Modulo.
|
class |
Plus
Addition or string concatenation operator "+".
|
class |
Times
Times.
|
Modifier and Type | Class and Description |
---|---|
class |
SeqConcat |
class |
SetMinus |
class |
SetUnion |
Copyright © 2003-2019 The KeY-Project.