src/Collections/corestructs.cc

   1 #include "classlist.h"
   2 #include "corestructs.h"
   3 #include "boolean.h"
   4
   5 void BooleanEdge::print(){
   6         if (isNegated())
   7                 model_print("!");
   8         getBoolean()->print();
   9         model_print("\n");
  10 }