git @ Cat's Eye Technologies Philomath / master include / assumptions.h
master

Tree @master (Download .tar.gz)

assumptions.h @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
/* assumptions.h */

#ifndef ASSUMPTIONS_H
#define ASSUMPTIONS_H 1

#include "formula.h"

struct assumptions {
    int label;
    struct formula *formula;
    struct assumptions *next;
};

struct assumptions *assume(int, struct formula *, struct assumptions *);
struct formula *lookup(int, struct assumptions *);
struct assumptions *discharge(int, struct assumptions *);
struct assumptions *merge(struct assumptions *, struct assumptions *);

void assumptions_fprint(FILE *, struct assumptions *);

#endif /* ndef ASSUMPTIONS_H */