ROSE  0.11.145.0
Public Member Functions | Public Attributes | List of all members
affineInequalityFact Class Reference

Description

Definition at line 283 of file affineInequality.h.

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

Public Member Functions

 affineInequalityFact (const affineInequalityFact &that)
 
NodeFactcopy () const
 
std::string str (std::string indent="")
 
std::string str (std::string indent="") const
 

Public Attributes

std::set< varAffineInequalityineqs
 

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