Konstanten in KeY

hstr
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 128
Registriert: 14. Apr 2011 22:52

Konstanten in KeY

Beitrag von hstr »

Hallo,
wir sollen ja für Lab 3 eine Formel überprüfen und dazu wollen wir eine .key Datei erstellen,
allerdings ist uns nicht klar, wie man die Konstanten a und b definiert.
(Wir haben auch keine Beispiele für Konstanten in den Folien bzw. examples zur Vorlesung gefunden)

Benutzeravatar
mmi1991
Computerversteher
Computerversteher
Beiträge: 349
Registriert: 20. Okt 2011 18:46
Wohnort: Hattersheim

Re: Konstanten in KeY

Beitrag von mmi1991 »

Ich schätze mal als 0-stellige Funktionen:

Code: Alles auswählen

\sorts {
 any;
}

\functions{
 any a;
 any b;
}
Ophasentutor SoSe 2014, WiSe 2015/16
Alle Angaben wie immer ohne Gewähr

Benutzeravatar
JannikV
Nerd
Nerd
Beiträge: 609
Registriert: 24. Apr 2011 12:42

Re: Konstanten in KeY

Beitrag von JannikV »

Hey, Konstanten sind nullstellige Funktionen, da kannst du sie definieren.
Beispiel kannst du dir bei Übung 4 Aufgabe 1d ansehen.

VG

EDIT: zu lahm xD

hstr
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 128
Registriert: 14. Apr 2011 22:52

Re: Konstanten in KeY

Beitrag von hstr »

Danke!

Antworten

Zurück zu „Archiv“