56 var(
const std::string& x);
104 operator char*()
const;
107 operator std::string()
const;
152 void print(FILE* stream=stdout)
const;
Variable name (ap_var_t wrapper).
Definition: apxx_var.hh:39
friend bool operator>(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
void print(FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_var_inline.hh:144
friend bool operator>=(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
var & operator=(const var &x)
Assigns the variable name (calls ap_var_operations->copy, ->free).
Definition: apxx_var_inline.hh:55
const ap_var_t & get_ap_var_t() const
Returns a reference to the APRON object wrapped (no copy).
Definition: apxx_var_inline.hh:156
friend bool operator==(const var &x, const var &y)
Compares two variables names (calls ap_var_operations->to_compare).
ap_var_t v
Definition: apxx_var.hh:42
friend bool operator<(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
~var()
Frees the variable name (calls ap_var_operations->free).
Definition: apxx_var_inline.hh:46
friend bool operator<=(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
var(const void *x)
Makes a variable name from a pointer (copied with ap_var_operations->copy).
Definition: apxx_var_inline.hh:27
friend int compare(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
friend bool operator!=(const var &x, const var &y)
Compares two variable names (calls ap_var_operations->to_compare).
friend std::ostream & operator<<(std::ostream &os, const var &s)
Printing.
Definition: apxx_abstract0.hh:27