ts_extraction.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/goto_functions.h>
#include <transition-system/transition_system.h>
#include <util/config/options.h>
#include <util/symtab/context.h>
 
#include <string>

bool extract_transition_system(
  const goto_functionst &goto_functions,
  contextt &context,
  const optionst &options,
  transition_systemt &ts);