new_sim_domain.cpp File Reference
The file includes the abstract domain class:
NewSimulatorDomain. More...
#include <errno.h>
#include "new_sim.h"
#include "new_sim_utils.h"
#include "new_sim_file.h"
Include dependency graph for new_sim_domain.cpp:
Detailed Description
The file includes the abstract domain class:
NewSimulatorDomain.
- Author:
- Lars Wetzel <larswetzel@users.sourceforge.net>
- Version:
- 0.1
- Date:
- 2010
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. This file and program are licensed under a BSD style license. See the Copying file included with the OpenHPI distribution for full licensing terms.
The new Simulator plugin is adapted from the ipmidirect plugin. Thanks to
Thomas Kanngieser <thomas.kanngieser@fci.com>
Pierre Sangouard <psangouard@eso-tech.com>
Generated on Mon Apr 26 14:37:25 2010 for New Simulator by
1.4.4