ipet_ILPSystemGetter.cpp File Reference

#include <elm/assert.h>
#include <otawa/prog/Manager.h>
#include <otawa/ipet/ILPSystemGetter.h>
#include <otawa/ilp/System.h>
#include <otawa/prop/DeletableProperty.h>
#include <otawa/ipet/features.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
	otawa::ipet

Functions
Identifier< string >	otawa::ipet::ILP_PLUGIN_NAME ("otawa::ipet::ILP_PLUGIN_NAME","default")
	Select the name of the plugin to use as the ILP solver. More...
Identifier< ilp::System * >	otawa::ipet::SYSTEM ("otawa::ipet::SYSTEM", 0)
	Link the curerently ILP system. More...
SilentFeature	otawa::ipet::ILP_SYSTEM_FEATURE ("otawa::ipet::ILP_SYSTEM_FEATURE", maker)
	This feature assert that an ILP is available for IPET computation. More...