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 | Field and Description |
---|---|
static Transformer |
TermBuilder.WD_ANY |
static Transformer |
TermBuilder.WD_FORMULA |
Modifier and Type | Method and Description |
---|---|
static Transformer |
Transformer.getTransformer(Name name,
Sort sort,
ImmutableArray<Sort> argSorts,
TermServices services)
Looks up the function namespace for a term transformer with the given
attributes, assuming it to be uniquely defined by its name.
|
static Transformer |
Transformer.getTransformer(PosInOccurrence pio)
Examines a position for whether it is inside a term transformer.
|
static Transformer |
Transformer.getTransformer(Transformer t,
TermServices services)
Takes a template for a term transformer and checks in the function
namespace, whether an equivalent already exists.
|
Modifier and Type | Method and Description |
---|---|
static Transformer |
Transformer.getTransformer(Transformer t,
TermServices services)
Takes a template for a term transformer and checks in the function
namespace, whether an equivalent already exists.
|
Copyright © 2003-2019 The KeY-Project.