21 #ifndef OTAWA_ETIME_CONFIG_H_
22 #define OTAWA_ETIME_CONFIG_H_
24 #include <elm/types.h>
26 namespace otawa {
namespace etime {
36 inline void set(
int n) { b |= 1 << n; }
37 inline void clear(
int n) { b &= ~(1 << n); }
38 inline bool bit(
int n)
const {
return b & (1 << n); }
39 string toString(
int n)
const;
52 inline int count(
void)
const {
return confs.length(); }
57 inline void pop(
const ConfigSet& set) {
for(
int i = 0; i < set.
confs.length(); i++) confs.pop(); }
64 bool isFeasible(
int n);
ot::time t
Definition: Config.h:73
Represents a configuration for computing cost of a BB.
Definition: Config.h:30
t::uint32 bits(void) const
Definition: Config.h:35
void add(const ConfigSet &set)
Definition: Config.h:54
void pop(const ConfigSet &set)
Definition: Config.h:57
Config(void)
Definition: Config.h:32
ot::time time(void) const
Definition: Config.h:51
Config(const Config &conf)
Definition: Config.h:34
ConfigSet(const ConfigSet &set)
Definition: Config.h:50
void push(const ConfigSet &set)
Definition: Config.h:56
ConfigSet(ot::time time)
Definition: Config.h:49
bool bit(int n) const
Definition: Config.h:38
t::uint32 b
Definition: Config.h:42
void add(Config conf)
Definition: Config.h:53
ConfigSet(void)
Definition: Config.h:48
sys::SystemOutStream & out
Config(t::uint32 bits)
Definition: Config.h:33
t::int64 time
Definition: base.h:47
void clear(int n)
Definition: Config.h:37
void set(int n)
Definition: Config.h:36
Set of configurations with the same or with a maximum of time.
Definition: Config.h:46
genstruct::Vector< Config > confs
Definition: Config.h:74
intn_t max(intn_t a, intn_t b)
Return the max with a signed comparison.
Definition: clp_analysis.cpp:180
int count(void) const
Definition: Config.h:52
inst neg(int d, int a)
Definition: inst.h:168
Iter(const ConfigSet &set)
Definition: Config.h:69