Ignore:
Timestamp:
Nov 23, 2024, 8:28:37 PM (2 months ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
956b389
Parents:
b006c51e (diff), de7b7a5 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/rational.hfa

    rb006c51e r10a9479d  
    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.