Changeset c58c65a


Ignore:
Timestamp:
Aug 31, 2021, 1:49:09 AM (5 months ago)
Author:
Jacob Prud'homme <jafprudhomme@…>
Branches:
jacob/cs343-translation, master
Children:
ad8072c
Parents:
716e4e6
git-author:
Jacob Prud'homme <jafprudhomme@…> (07/23/21 11:50:07)
git-committer:
Jacob Prud'homme <jafprudhomme@…> (08/31/21 01:49:09)
Message:

Began using new math.trait.hfa

Location:
libcfa/src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/parseconfig.cfa

    r716e4e6 rc58c65a  
    120120
    121121
    122 forall(T | arithmetic( T ))
     122forall(T | Relational( T ))
    123123bool is_nonnegative( T & value ) {
    124124        T zero_val = 0;
     
    126126}
    127127
    128 forall(T | arithmetic( T ))
     128forall(T | Relational( T ))
    129129bool is_positive( T & value ) {
    130130        T zero_val = 0;
     
    132132}
    133133
    134 forall(T | arithmetic( T ))
     134forall(T | Relational( T ))
    135135bool is_nonpositive( T & value ) {
    136136        T zero_val = 0;
     
    138138}
    139139
    140 forall(T | arithmetic( T ))
     140forall(T | Relational( T ))
    141141bool is_negative( T & value ) {
    142142        T zero_val = 0;
  • libcfa/src/parseconfig.hfa

    r716e4e6 rc58c65a  
    11#pragma once
    22
    3 #include <rational.hfa>
     3#include <math.trait.hfa>
    44
    55
     
    7777
    7878
    79 forall(T | arithmetic( T ))
     79forall(T | Relational( T ))
    8080bool is_nonnegative( T & );
    8181
    82 forall(T | arithmetic( T ))
     82forall(T | Relational( T ))
    8383bool is_positive( T & );
    8484
    85 forall(T | arithmetic( T ))
     85forall(T | Relational( T ))
    8686bool is_nonpositive( T & );
    8787
    88 forall(T | arithmetic( T ))
     88forall(T | Relational( T ))
    8989bool is_negative( T & );
    9090
Note: See TracChangeset for help on using the changeset viewer.