Package | Description |
---|---|
de.uka.ilkd.key.nparser |
Modifier and Type | Class and Description |
---|---|
static class |
KeYParser.Modality_termContext |
static class |
KeYParser.Negation_termContext |
static class |
KeYParser.QuantifiertermContext |
Modifier and Type | Method and Description |
---|---|
KeYParser.Unary_formulaContext |
KeYParser.unary_formula() |
KeYParser.Unary_formulaContext |
KeYParser.Term60Context.unary_formula() |
KeYParser.Unary_formulaContext |
KeYParser.Update_termContext.unary_formula() |
KeYParser.Unary_formulaContext |
KeYParser.Substitution_termContext.unary_formula() |
Modifier and Type | Method and Description |
---|---|
void |
KeYParser.Unary_formulaContext.copyFrom(KeYParser.Unary_formulaContext ctx) |
Constructor and Description |
---|
Modality_termContext(KeYParser.Unary_formulaContext ctx) |
Negation_termContext(KeYParser.Unary_formulaContext ctx) |
QuantifiertermContext(KeYParser.Unary_formulaContext ctx) |
Copyright © 2003-2019 The KeY-Project.