ROSE 0.11.145.192
Public Member Functions | Protected Attributes | List of all members
varAffineInequality Class Reference

Description

Definition at line 208 of file affineInequality.h.

Inheritance diagram for varAffineInequality:
Inheritance graph
[legend]
Collaboration diagram for varAffineInequality:
Collaboration graph
[legend]

Public Member Functions

varAffineInequalityoperator= (const varAffineInequality &)=default
 
 varAffineInequality (const varAffineInequality &that)
 
 varAffineInequality (const varID &x, const varID &y, const affineInequality &ineq)
 
 varAffineInequality (const varID &x, const varID &y, int a, int b, int c, bool xZero, bool yZero)
 
const varIDgetX () const
 
const varIDgetY () const
 
int getA () const
 
int getB () const
 
int getC () const
 
const affineInequalitygetIneq () const
 
bool setX (const varID &x)
 
bool setY (const varID &y)
 
bool setA (int a)
 
bool setB (int b)
 
bool setC (int c)
 
bool setIneq (affineInequality &ineq)
 
bool operator== (const varAffineInequality &that) const
 
bool operator< (const varAffineInequality &that) const
 
std::string str (std::string indent="")
 
std::string str (std::string indent="") const
 

Protected Attributes

varID x
 
varID y
 
affineInequality ineq
 

Member Function Documentation

◆ str()

std::string varAffineInequality::str ( std::string  indent = "")
virtual

Implements printable.

Member Data Documentation

◆ x

varID varAffineInequality::x
protected

Definition at line 211 of file affineInequality.h.

◆ y

varID varAffineInequality::y
protected

Definition at line 212 of file affineInequality.h.

◆ ineq

affineInequality varAffineInequality::ineq
protected

Definition at line 213 of file affineInequality.h.


The documentation for this class was generated from the following file: