ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | Public Attributes | List of all members
affineInequalityFact Class Reference

#include <affineInequality.h>

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

Public Member Functions

 affineInequalityFact ()
 
 affineInequalityFact (const affineInequalityFact &that)
 
NodeFact * copy () const
 
std::string str (std::string indent="")
 
std::string str (std::string indent="") const
 

Public Attributes

std::set< varAffineInequality > ineqs
 

Detailed Description

Definition at line 280 of file affineInequality.h.

Constructor & Destructor Documentation

affineInequalityFact::affineInequalityFact ( )
inline

Definition at line 285 of file affineInequality.h.

affineInequalityFact::affineInequalityFact ( const affineInequalityFact &  that)
inline

Definition at line 288 of file affineInequality.h.

References ineqs.

Member Function Documentation

NodeFact* affineInequalityFact::copy ( ) const
virtual

Implements NodeFact.

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

Implements printable.

std::string affineInequalityFact::str ( std::string  indent = "") const

Member Data Documentation

std::set<varAffineInequality> affineInequalityFact::ineqs

Definition at line 283 of file affineInequality.h.

Referenced by affineInequalityFact().

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