22 #ifndef OTAWA_ILP_VAR_H
23 #define OTAWA_ILP_VAR_H
27 namespace otawa {
namespace ilp {
46 inline const string&
name(
void)
const {
return _name; }
49 virtual Alias *toAlias(
void);
50 virtual double eval(
System *sys);
68 virtual Alias *toAlias(
void);
69 virtual double eval(
System *sys);
83 #endif // OTAWA_ILP_VAR_H
An expression allows to represent a sum of terms and may be used to represent the value of an aliased...
Definition: Expression.h:43
Var(type_t type=INT)
Build an anonymous variable.
Definition: Var.h:53
const string & name(void) const
Get the name of the variable if any.
Definition: Var.h:46
string _name
Definition: Var.h:58
Var(const string &name, type_t type=INT)
Build a variable with the given name.
Definition: Var.h:55
const Expression * expression(void) const
Definition: Var.h:70
virtual void print(io::Output &out)
Print the name of the variable.
Definition: ilp_Var.cpp:86
io::Output & operator<<(io::Output &out, Constraint::comparator_t comp)
Definition: ilp_Constraint.cpp:128
Var(cstring name, type_t type=INT)
Definition: Var.h:54
Expression * _expr
Definition: Var.h:72
type_t type(void) const
Get the type of the variable.
Definition: Var.h:47
sys::SystemOutStream & out
type_t _type
Definition: Var.h:59
An alias is a specific variable that represents an expressions.
Definition: Var.h:63
cstring name
Definition: odisasm.cpp:107
A variable is an identifier used for performing ILP computation.
Definition: Var.h:36
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
const Type & type(void)
Definition: type.h:163
Encapsulation for ilp::Var pointers for {ilp} expr user-fiendly interface.
Definition: expr.h:29
type_t
Type of an ILP variable.
Definition: Var.h:38
type_t
Definition: features.h:57