loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

formating.h (530B)

      1 #include "vm.h"
      2 
      3 #define type_variable(t) ("SJATPR"[t])
      4 
      5 void print_ref(FILE *f, struct state *st, struct ref *ref);
      6 void print_symbol(FILE *f, struct symbol *s);
      7 void print_term(FILE *f, struct state *st, struct term *t);
      8 void print_state(FILE *f, struct state *st);
      9 void print_goal(FILE *f, struct goal *g, unsigned int level);
     10 void print_attitude(FILE *f, struct state *st, struct attitude *a);
     11 void print_assumption(FILE *f, struct state *st, struct assumption a);
     12 void print_proof(FILE *f, struct state *st, struct proof p);