Changeset 44e2a5a for libcfa


Ignore:
Timestamp:
Nov 8, 2024, 5:20:16 PM (6 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
74cbaa3
Parents:
62595b31
Message:

remove assertions from rational structure declaration

File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/rational.hfa

    r62595b31 r44e2a5a  
    1212// Created On       : Wed Apr  6 17:56:25 2016
    1313// Last Modified By : Peter A. Buhr
    14 // Last Modified On : Fri Oct  6 07:52:20 2023
    15 // Update Count     : 122
     14// Last Modified On : Fri Nov  8 17:02:09 2024
     15// Update Count     : 126
    1616//
    1717
    … …  
    2323// implementation
    2424
    25 forall( T | arithmetic( T ) ) {
     25forall( T ) {
    2626        struct rational {
    2727                T numerator, denominator;                                               // invariant: denominator > 0
    2828        }; // rational
     29}
    2930
     31forall( T | arithmetic( T ) ) {
    3032        // constructors
    3133
Note: See TracChangeset for help on using the changeset viewer.