Ignore:
Timestamp:
Apr 19, 2017, 10:15:45 AM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
cd348e7
Parents:
221c2de (diff), de4ce0e (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
  • doc/generic_types/evaluation/cfa-stack.h

    r221c2de r154fdc8  
     1#pragma once
     2
    13forall(otype T) struct stack_node;
    2 
    34forall(otype T) struct stack {
    45        stack_node(T)* head;
     
    67
    78forall(otype T) void ?{}(stack(T)* s);
    8 
     9forall(otype T) void ?{}(stack(T)* s, stack(T) t);
     10forall(otype T) stack(T) ?=?(stack(T)* s, stack(T) t);
    911forall(otype T) void ^?{}(stack(T)* s);
    1012
    1113forall(otype T) _Bool empty(const stack(T)* s);
    12 
    1314forall(otype T) void push(stack(T)* s, T value);
    14 
    1515forall(otype T) T pop(stack(T)* s);
     16forall(otype T) void clear(stack(T)* s);
Note: See TracChangeset for help on using the changeset viewer.