This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

45 lines
1.3 KiB

/***************************************************************
* Name: CommonFcn.h
* Purpose: Defines set of global (auxiliary) functions
* Author: Michal Bližňák (michal.bliznak@tiscali.cz)
* Created: 2007-07-22
* Copyright: Michal Bližňák
* License: wxWidgets license (www.wxwidgets.org)
* Notes:
**************************************************************/
#ifndef _WXSFCOMMONFCN_H
#define _WXSFCOMMONFCN_H
#include <wx/wxprec.h>
#include <wx/xml/xml.h>
#include <wx/wxsf/Defs.h>
namespace wxSFCommonFcn
{
// data conversion functions
WXDLLIMPEXP_SF wxPoint Conv2Point(const wxRealPoint& pt);
WXDLLIMPEXP_SF wxSize Conv2Size(const wxRealPoint& pt);
WXDLLIMPEXP_SF wxRealPoint Conv2RealPoint(const wxPoint& pt);
// graphics functions
WXDLLIMPEXP_SF wxColour GetHybridColour(const wxColour& orig, const wxColour& modificator);
WXDLLIMPEXP_SF bool LinesIntersection(const wxRealPoint& from1, const wxRealPoint& to1, const wxRealPoint& from2, const wxRealPoint& to2, wxRealPoint& i);
WXDLLIMPEXP_SF double Distance(const wxRealPoint& pt1, const wxRealPoint& pt2);
}
namespace wxSF
{
enum ERRCODE
{
errOK = 0,
errNOT_CREATED,
errNOT_ACCEPTED,
errINVALID_INPUT
};
WXDLLIMPEXP_SF extern const double PI;
}
#endif //_WXSFCOMMONFCN_H