arjo129

------------------------------- MODULE hanoi -------------------------------
EXTENDS Integers, Sequences
\* Towers of hanoi problem
VARIABLES tower1, tower2, tower3
\* Initiallize the towers
Init == /\ tower1 = <<3,2,1,0>>
        /\ tower2 = <<0>>
        /\ tower3 = <<0>>

\* Transition rules

chewwt

std_msgs/Header header
std_msgs/String source_id
std_msgs/String message

codebrainz

#include <stdio.h>
#include <stdlib.h>

#include <clang-c/Index.h>

enum CXChildVisitResult
onVisitCursor(CXCursor cursor, CXCursor parent, CXClientData client_data)
{
  if (clang_getCursorKind(cursor) == CXCursor_InclusionDirective) {
    CXFile file = clang_getIncludedFile(cursor);