triple.h 296 B

123456789101112131415
  1. #include "term.h"
  2. typedef struct LSUP_Triple {
  3. LSUP_Term *s;
  4. LSUP_Term *p;
  5. LSUP_Term *o;
  6. } LSUP_Triple;
  7. typedef struct LSUP_SerTriple {
  8. LSUP_SerTerm *s;
  9. LSUP_SerTerm *p;
  10. LSUP_SerTerm *o;
  11. } LSUP_SerTriple;
  12. // TODO Add constructors and destructors with term type checks.