Package | Description |
---|---|
de.uka.ilkd.key.smt.lang |
Modifier and Type | Method and Description |
---|---|
SMTTerms |
SMTTerm.c(SMTTerm f) |
SMTTerms |
SMTTerms.copy() |
SMTTerms |
SMTTerm.terms() |
static SMTTerms |
SMTTerm.terms(java.util.List<SMTTerm> terms) |
Modifier and Type | Method and Description |
---|---|
static SMTTerm |
SMTTerm.call(SMTFunction func,
SMTTerms t) |
SMTTerm |
SMTTerm.forall(SMTTerms terms) |
SMTTerm |
SMTTerm.forall(SMTTerms terms,
SMTTerm pat) |
Copyright © 2003-2019 The KeY-Project.