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

Description

Definition at line 258 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
 

Constructor & Destructor Documentation

◆ affineInequalityFact() [1/2]

affineInequalityFact::affineInequalityFact ( )
inline

Definition at line 263 of file affineInequality.h.

◆ affineInequalityFact() [2/2]

affineInequalityFact::affineInequalityFact ( const affineInequalityFact that)
inline

Definition at line 266 of file affineInequality.h.

Member Function Documentation

◆ copy()

NodeFact * affineInequalityFact::copy ( ) const
virtual

Implements NodeFact.

◆ str()

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

Implements printable.

Member Data Documentation

◆ ineqs

std::set<varAffineInequality> affineInequalityFact::ineqs

Definition at line 261 of file affineInequality.h.


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