Documentation of CSL
Public Member Functions | Protected Member Functions | Protected Attributes | Friends
csl::Equation Class Reference
Inheritance diagram for csl::Equation:
Inheritance graph
[legend]

Public Member Functions

 Equation (const Expr &leftHandSide)
 
 Equation (const Expr &leftHandSide, const Expr &rightHandSide)
 
 Equation (const Equation &)
 
cslEquation::Type getType () const
 
Expr getLHS () const
 
Expr getRHS () const
 
const csl::vector_expr & getBuildingBlocks () const
 
void setBuildingBlocks (const csl::vector_expr &t_buildingBlocks)
 
void replace (const Expr &oldE, const Expr &newE)
 
void simplify ()
 
void makeLHSimple ()
 
void isolate (const Expr &expr)
 
bool operator== (const Equation &eq) const
 
bool operator!= (const Equation &eq) const
 

Protected Member Functions

void searchBuildingBlocks ()
 
void isolationStep (const Expr &expr)
 

Protected Attributes

Expr leftHandSide
 
Expr rightHandSide
 
csl::vector_expr buildingBlocks
 

Friends

std::ostream & operator<< (std::ostream &fout, const Equation &eq)
 

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