products/Sources/formale Sprachen/Isabelle/Pure/System/   (Isabelle Prover Version 2025-1©)  Datei vom 16.11.2025 mit Größe 18 kB image not shown  

SSL trans_decl.h   Interaktion und
Portierbarkeitunbekannt

 
// -*- C++ -*-
#ifndef _Trans_Decl_h_
#define _Trans_Decl_h_

#include "LString.h"
#include "tex-accent.h"

struct Keyexc {
 char c;  /* character to make exception */
 LString data; /* exception data */
 Keyexc *next;
 bool combined; // Combination with another deadkey
 tex_accent accent; // The accent combined with
};

///
typedef Keyexc *KmodException;

//
// 
//

struct KmodInfo {
 LString data;
 tex_accent accent;
 LString allowed;
 KmodException exception_list;    
 
 KmodInfo(const KmodInfo&);
 KmodInfo();
 
 KmodInfo& operator=(const KmodInfo&);
};

#endif

Messung V0.5 in Prozent
C=75 H=100 G=88

[Verzeichnis aufwärts0.3unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-06-05]