ROSE  0.9.10.75
Public Member Functions | Protected Member Functions | List of all members
IntArithLogical::logicNode Class Reference

Description

Definition at line 188 of file intArithLogical.h.

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

Public Member Functions

 logicNode (logOps logOp)
 
 logicNode (logOps logOp, exprLeafOrNode *child)
 
 logicNode (logOps logOp, exprLeafOrNode *childA, exprLeafOrNode *childB)
 
 logicNode (logOps logOp, const std::list< exprLeafOrNode * > &children)
 
 logicNode (const logicNode &that)
 
void addChild (exprLeafOrNode *child)
 
bool setToTrue ()
 
bool setToFalse ()
 
infContent getLevel ()
 
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 ()
 
void genChildrenConj (std::list< exprLeafOrNode * > &newChildren, std::list< exprLeafOrNode * > newConjOrig, std::list< exprLeafOrNode * >::const_iterator curChild)
 
bool andUpd (logicNode &that)
 
bool orUpd (logicNode &that)
 
bool replaceVar (varID var, int p, int q, int r)
 
bool removeVar (varID var)
 
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

bool normalize ()
 
void computeVarsExpr ()
 
void insertNewChildOr (std::list< exprLeafOrNode * > &newChildren, exprLeafOrNode *newTerm)
 
bool eqChildren (std::list< exprLeafOrNode * > &one, std::list< exprLeafOrNode * > &two)
 

Additional Inherited Members

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

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