ROSE 0.11.145.147
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
IntArithLogical::exprLeaf Class Reference

Description

Definition at line 96 of file intArithLogical.h.

Inheritance diagram for IntArithLogical::exprLeaf:
Inheritance graph
[legend]
Collaboration diagram for IntArithLogical::exprLeaf:
Collaboration graph
[legend]

Public Member Functions

 exprLeaf (cmpOps cmp, int a, varID x, int b, varID y, int c)
 
 exprLeaf (const exprLeaf &that)
 
const std::list< SpearAbstractVar * > & getVars ()
 
SpearAbstractVar * getOutVar ()
 
const std::string & getExpr ()
 
std::string str (std::string indent="")
 
std::string str (std::string indent="") const
 
std::string genStr (std::string indent="") const
 
elt elType ()
 
SpearExpr * copy ()
 
bool notUpd ()
 
bool andExprs (const exprLeaf &that, bool &modified)
 
bool andExprsTest (const exprLeaf &that)
 
bool orExprs (const exprLeaf &that, bool &modified)
 
bool orExprsTest (const exprLeaf &that)
 
bool operator== (exprLeafOrNode &that)
 
bool operator<= (exprLeafOrNode &that)
 
- Public Member Functions inherited from IntArithLogical::exprLeafOrNode
bool operator!= (exprLeafOrNode &that)
 
bool operator< (exprLeafOrNode &that)
 
bool operator>= (exprLeafOrNode &that)
 
bool operator> (exprLeafOrNode &that)
 

Protected Member Functions

 exprLeaf (SpearOp cmp, int a, varID x, int b, varID y, int c)
 
bool normalize ()
 
bool setToTrue ()
 
bool setToFalse ()
 
infContent getLevel ()
 
void computeVarsExpr ()
 

Protected Attributes

SpearOp cmp
 
int a
 
int b
 
int c
 
varID x
 
varID y
 
exprLeafOrNode::infContent level
 
std::list< SpearAbstractVar * > vars
 
SpearAbstractVar * outVar
 
std::string logExpr
 
bool varsExprInitialized
 

Additional Inherited Members

- Public Types inherited from IntArithLogical::exprLeafOrNode
enum  elt {
  eLeaf ,
  lNode
}
 
enum  infContent {
  isTrue ,
  exprKnown ,
  isFalse
}
 

Member Function Documentation

◆ setToTrue()

bool IntArithLogical::exprLeaf::setToTrue ( )
protectedvirtual

◆ setToFalse()

bool IntArithLogical::exprLeaf::setToFalse ( )
protectedvirtual

◆ getLevel()

infContent IntArithLogical::exprLeaf::getLevel ( )
protectedvirtual

◆ str()

std::string IntArithLogical::exprLeaf::str ( std::string  indent = "")
virtual

◆ elType()

elt IntArithLogical::exprLeaf::elType ( )
inlinevirtual

Implements IntArithLogical::exprLeafOrNode.

Definition at line 156 of file intArithLogical.h.

◆ notUpd()

bool IntArithLogical::exprLeaf::notUpd ( )
virtual

◆ operator==()

bool IntArithLogical::exprLeaf::operator== ( exprLeafOrNode that)
virtual

◆ operator<=()

bool IntArithLogical::exprLeaf::operator<= ( exprLeafOrNode that)
virtual

Member Data Documentation

◆ cmp

SpearOp IntArithLogical::exprLeaf::cmp
protected

Definition at line 101 of file intArithLogical.h.

◆ a

int IntArithLogical::exprLeaf::a
protected

Definition at line 102 of file intArithLogical.h.

◆ b

int IntArithLogical::exprLeaf::b
protected

Definition at line 102 of file intArithLogical.h.

◆ c

int IntArithLogical::exprLeaf::c
protected

Definition at line 102 of file intArithLogical.h.

◆ x

varID IntArithLogical::exprLeaf::x
protected

Definition at line 103 of file intArithLogical.h.

◆ y

varID IntArithLogical::exprLeaf::y
protected

Definition at line 103 of file intArithLogical.h.

◆ level

exprLeafOrNode::infContent IntArithLogical::exprLeaf::level
protected

Definition at line 105 of file intArithLogical.h.

◆ vars

std::list<SpearAbstractVar*> IntArithLogical::exprLeaf::vars
protected

Definition at line 107 of file intArithLogical.h.

◆ outVar

SpearAbstractVar* IntArithLogical::exprLeaf::outVar
protected

Definition at line 108 of file intArithLogical.h.

◆ logExpr

std::string IntArithLogical::exprLeaf::logExpr
protected

Definition at line 109 of file intArithLogical.h.

◆ varsExprInitialized

bool IntArithLogical::exprLeaf::varsExprInitialized
protected

Definition at line 110 of file intArithLogical.h.


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