ipet_ConstraintLoader.cpp File Reference

#include <stdio.h>
#include <elm/string/StringBuffer.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/ipet/IPET.h>
#include <otawa/ipet/ConstraintLoader.h>
#include <otawa/cfg.h>
#include <otawa/ipet/VarAssignment.h>
#include "ExpNode.h"

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

Variables
FILE *	ipet_in = (FILE *) 0
int	ipet_line

Variable Documentation

FILE * ipet_in = (FILE *) 0

Referenced by otawa::ipet::ConstraintLoader::processCFG().

int ipet_line

Referenced by otawa::ipet::ConstraintLoader::error().