Tag: invariants

In der informatik, ein Prädikat, das heißt eine invariante Sequenz von Operationen, vorausgesetzt, dass: wenn das Prädikat ist true, bevor die Sequenz, dann ist es wahr am Ende der Sequenz.

kovariante Typ T tritt in invariante position

Anzahl der Antworten 2 Antworten
Ziehe ich meine ersten Schritte in Scala und ich möchte der folgende code funktioniert: trait Gene[+T] { val gene: Array[T] } Den Fehler, dass der compiler gibt ist: covariant type T occurs in invariant position in type

Stellen Sie die Bildgröße auf char-array in Java

Anzahl der Antworten 5 Antworten
Ich bin die Entwicklung einer Android-Anwendung. Möchte ich die Größe für ein char-array wie dieses: public char[5] language; Aber es funktioniert nicht. Ich habe zum löschen der Nummer fünf, damit es funktioniert. Ich möchte die Begrenzung auf

Was ist die beste Weise zu bestimmen, ein loop-invariant?

Anzahl der Antworten 5 Antworten
Bei der Verwendung von formalen Aspekten, um einige code gibt es eine generische Methode zur Bestimmung des ein-loop-invariant oder wird es ganz anders sein, je nach dem problem? InformationsquelleAutor filinep | 2010-05-29

Leere Konstruktoren und setter auf JPA-Entites

Anzahl der Antworten 6 Antworten
Ich weiß nicht wie die Anspruch auf mindestens einen leeren Konstruktor und public setters auf JPA-Entitäten. Ich verstehe zwar das Problem auf den EntityManager Seite, ist dieser ungültig-Klasse Invarianten. Hat jemand eine Lösung für dieses (design pattern

Was ist eine Klasseninvariante in Java?

Anzahl der Antworten 3 Antworten
Ich googelte das Thema, aber neben Wikipedia ich nicht finden, eine weitere, nützliche Unterlagen oder Gegenstände. Kann jemand mir erklären, in einfachen Worten, was es bedeutet, oder verweisen mich auf ein paar nette und leicht zu verstehen

Was sind die Unterschiede Vorbedingung, Nachbedingung und Invariante in der Computerterminologie

Anzahl der Antworten 1 Antworten
Ich lese das Buch Java Concurrency in Practice und immer ein wenig verwirrt mit diesen Begriffen: Voraussetzung Post Zustand Invarianten Kann jemand bitte erklären Sie mir, Ihnen (mit einem Beispiel, wenn es möglich ist)? InformationsquelleAutor der Frage

Was ist eine Invariante?

Anzahl der Antworten 8 Antworten
Das Wort scheint zu kommen in einer Reihe von Kontexten. Die beste, die ich-Figur ist, dass Sie meinen, eine variable, die nicht geändert werden kann. Nicht, dass das, was Konstanten/Finale (verdammt Sie Java!) für sind? InformationsquelleAutor der

Schleifeninvariante der linearen Suche

Anzahl der Antworten 6 Antworten
Gesehen auf Introduction to algorithms (http://mitpress.mit.edu/algorithms), die übung, die Folgendes besagt: Input: Array A[1...n] Ausgabe: i, wobei A[i]=v oder NULL wenn nicht gefunden Schreiben Sie einen pseudocode für LINEARE SUCHE"," die scans durch die Sequenz, suchen v.

Einfache Beispiele für Co und Kontravarianz

Anzahl der Antworten 3 Antworten
Könnte jemand mir zur Verfügung stellen, einfache C# - Beispiele convariance, Kontravarianz, Invarianz-und contra-Invarianz (wenn so etwas vorhanden ist). Alle Proben, die ich bisher gesehen habe, war einfach Gießen einen Gegenstand in System.Object. Kommentar zu dem Problem