Package | Description |
---|---|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
de.uka.ilkd.key.rule.conditions | |
de.uka.ilkd.key.rule.match.vm.instructions |
Modifier and Type | Method and Description |
---|---|
static TermSV |
SchemaVariableFactory.createTermSV(Name name,
Sort sort) |
static TermSV |
SchemaVariableFactory.createTermSV(Name name,
Sort sort,
boolean rigidness,
boolean strictSV)
creates a SchemaVariable representing a term but not a formula
|
Constructor and Description |
---|
DropEffectlessStoresCondition(TermSV h,
TermSV o,
TermSV f,
TermSV x,
TermSV result) |
EqualUniqueCondition(TermSV t,
TermSV t2,
FormulaSV res) |
MetaDisjointCondition(TermSV s1,
TermSV s2) |
ObserverCondition(TermSV obs,
TermSV heap) |
Modifier and Type | Method and Description |
---|---|
static MatchSchemaVariableInstruction<? extends SchemaVariable> |
Instruction.matchTermSV(TermSV sv) |
Constructor and Description |
---|
MatchTermSVInstruction(TermSV op) |
Copyright © 2003-2019 The KeY-Project.