Jede Formulierung des stärksten Nachbedingung Prädikat Transformators ich gesehen habe, stellt die Zuordnungsregel wie folgt: sp(X:=E, P) = ∃v. (X=E[v/X] ∧ P[v/X])
Ich frage mich, warum ist die exis
Betrachten Sie die folgende Schnittstelle: public interface AISPI
{
public Path getPath(Entity entity, Entity target, World world) throws NoPathException;
}
Zugegeben, dass Einheit, Ziel und