loa

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

model.h (234B)

      1 #include "schema.h"
      2 
      3 #define schema(NAME) NAME ## _schema()
      4 
      5 schema *schema(context);
      6 schema *schema(attitude);
      7 schema *schema(assumption);
      8 schema *schema(term);
      9 schema *schema(vars);
     10 schema *schema(term_list);
     11 schema *schema(proof);