Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.predicateabstraction | |
de.uka.ilkd.key.gui.mergerule.predicateabstraction | |
de.uka.ilkd.key.proof.io.intermediate | |
de.uka.ilkd.key.rule.merge.procedures | |
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
de.uka.ilkd.key.util.mergerule |
Class and Description |
---|
AbstractionPredicate
Interface for predicates used for predicate abstraction.
|
AbstractPredicateAbstractionDomainElement
A base class for abstract domain elements in a predicate abstraction lattice.
|
AbstractPredicateAbstractionLattice
A super class for predicates abstraction lattices.
|
ConjunctivePredicateAbstractionDomainElement
An abstract domain element for a predicate abstraction lattice based on the
conjunction of predicates.
|
DisjunctivePredicateAbstractionDomainElement
An abstract domain element for a predicate abstraction lattice based on the
disjunction of predicates.
|
SimplePredicateAbstractionDomainElement
An abstract domain element for a predicate abstraction lattice encapsulating
exactly one abstraction predicate.
|
Class and Description |
---|
AbstractPredicateAbstractionDomainElement
A base class for abstract domain elements in a predicate abstraction lattice.
|
Class and Description |
---|
AbstractPredicateAbstractionLattice
A super class for predicates abstraction lattices.
|
Class and Description |
---|
AbstractionPredicate
Interface for predicates used for predicate abstraction.
|
AbstractPredicateAbstractionLattice
A super class for predicates abstraction lattices.
|
Class and Description |
---|
AbstractionPredicate
Interface for predicates used for predicate abstraction.
|
AbstractPredicateAbstractionLattice
A super class for predicates abstraction lattices.
|
Class and Description |
---|
AbstractionPredicate
Interface for predicates used for predicate abstraction.
|
Copyright © 2003-2019 The KeY-Project.