Package | Description |
---|---|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Method and Description |
---|---|
Term |
TermBuilder.elementary(UpdateableOperator lhs,
Term rhs) |
Modifier and Type | Class and Description |
---|---|
class |
LocationVariable
This class represents proper program variables, which are not program
constants.
|
class |
ProgramSV
Objects of this class are schema variables matching program constructs within
modal operators.
|
Modifier and Type | Method and Description |
---|---|
UpdateableOperator |
ElementaryUpdate.lhs()
Returns the left hand side of this elementary update operator.
|
UpdateableOperator |
LocationVariable.rename(Name name) |
Modifier and Type | Method and Description |
---|---|
static ElementaryUpdate |
ElementaryUpdate.getInstance(UpdateableOperator lhs)
Returns the elementary update operator for the passed left hand side.
|
Copyright © 2003-2019 The KeY-Project.