From 1373211465c34015ee900e097aa87fbffb401187 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 29 Jan 2017 19:54:26 +0100 Subject: Trying out ACSL, continuing implementation. --- src/core/char.h | 18 ------------------ 1 file changed, 18 deletions(-) (limited to 'src/core/char.h') diff --git a/src/core/char.h b/src/core/char.h index 2b4a355..7039563 100644 --- a/src/core/char.h +++ b/src/core/char.h @@ -22,23 +22,5 @@ int ZoO_word_cmp */ ZoO_char ZoO_char_to_lowercase (const ZoO_char c); -/* - * Returns '1' iff {c} should be considered as an punctuation character, '0' - * otherwise. - */ -/*@ - @ ensures ((\result == 1) || (\result == 0)); - @*/ -int ZoO_char_is_punctuation (const ZoO_char c); - -/* - * Returns '1' iff containing {c} means the word should not be learned. '0' - * otherwise. - */ -/*@ - @ ensures ((\result == 1) || (\result == 0)); - @*/ -int ZoO_word_char_is_banned (const ZoO_char c); - #endif -- cgit v1.2.3-70-g09d2